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

Beth, Evert W.:

Editore: Reidel, Dordrecht, 1962

Riguardo questo articolo

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.

Codice articolo 95996

Dati bibliografici

• Titolo: Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. (= Synthes Library).
• Editore: Reidel, Dordrecht
• Data di pubblicazione: 1962
• Lingua: Inglese
• Rilegatura: 8°. Leinen,
• Cataloghi dei venditori:
  • Varia