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. 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