Formal Methods : an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logi / by Evert W. Beth.
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1970.
|
| Series: | Synthese library ;
v. 4. |
| Subjects: |
| Physical Description: | 1 online resource (188 pages) |
|---|---|
| ISBN: | 9789401032698 9401032696 |