Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic - Brossura

Libro 87 di 304: Synthese Library
 
9789401032704: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Brossura
ISBN 10: 940103270X ISBN 13: 9789401032704
Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
940103270X
ISBN 13 
9789401032704
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9789027700698: Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic: 4

Edizione in evidenza

ISBN 10:  9027700699 ISBN 13:  9789027700698
Casa editrice: Springer-Verlag New York Inc, 1970
Rilegato