Formal methods - an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Författare
Evert Willem Beth
(Beth, Evert W.)
Språk
Engelska
Förlag År Ort Om boken ISBN
1962 Nederländerna, Dordrecht 170 sidor.