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. |