Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Dordrecht
D. Reidel
[c1962]
|
| Saila: | Synthese Library
|
| Gaiak: |