Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).

Beth, Evert W.:

Published by Reidel, Dordrecht, 1962

About this Item

XIV, 170 S. Bibliotheksexemplar mit Rückenschild und Stempeln, mit goldgeprägtem Rückentitel, Einband etwas berieben, Ecken und Kapitale leicht bestoßen, Papier gebräunt, sonst ordentlicher Zustand. -Bitte beachten Sie: Aufgrund der neuen Zollbestimmungen der USA und der daraus folgenden Aussetzung des Warenversandes durch DHL / Deutsche Post können Bestellungen aus den USA nicht ausgeführt werden / Please note: Due to the new US customs regulations and the resulting suspension of shipments by DHL / Deutsche Post, orders from the US cannot be processed- Sprache: Englisch Gewicht in Gramm: 400.

Seller Inventory # 95996

Bibliographic Details

• Title: Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).
• Publisher: Reidel, Dordrecht
• Publication Date: 1962
• Language: English
• Binding: 8°. Leinen,
• Seller catalogs:
  • Varia