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

Beth, Evert W.:

Edité par Reidel, Dordrecht, 1962

A propos de cet article

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.

N° de réf. du vendeur 95996

Détails bibliographiques

• Titre: Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).
• Éditeur: Reidel, Dordrecht
• Date de parution: 1962
• Langue: anglais
• Reliure: 8°. Leinen,
• Catalogues du vendeur:
  • Varia