Formal methods : an introduction to symbolic logic and the study of effective operations in arithmetic and logic / Evert W. Beth
Main Author Beth, Evert Willem, 1908-1964 Country Holanda. Publication Dordrecht : D. Reidel, cop. 1962 Description XIV, 170 p. ; 23 cm Series Synthese library ISBN 90-277-0070-2 CDU 510.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 45524 | Available | 166097 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.