Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
| 1. autor: | |
|---|---|
| Format: | Książka |
| Język: | English |
| Wydane: |
Dordrecht
D. Reidel
[c1962]
|
| Seria: | Synthese Library
|
| Hasła przedmiotowe: |