Formal methods. An introduction to symbolic logic an to the stdy of eefective operations in arithmetic and logic. (Synthese Library)
Beth, Evert W.:
Da Nicoline Thieme, Leipzig, Germania
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 14 ottobre 2002
Usato - Rilegato
Quantità: 1 disponibili
Aggiungere al carrello