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

Beth, Evert W.:

Verlag: Reidel, Dordrecht, 1962

Beschreibung

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. Sprache: Englisch Gewicht in Gramm: 400.

Bestandsnummer des Verkäufers 95996

Bibliografische Details

• Titel: Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).
• Verlag: Reidel, Dordrecht
• Erscheinungsjahr: 1962
• Sprache: Englisch
• Einband: 8°. Leinen,
• Verkäuferkataloge:
  • Varia