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

Éditeur : Reidel, Dordrecht

Date d'édition : 1962

Reliure : 8°. Leinen,