Mathematical interpretation of formal systems
| Main Authors: | s : L.E.J. Brouwer, E.W. Beth, A. Heyting, Th. Skolem... [et al] |
|---|---|
| Format: | Buku Teks |
| Language: | Eng |
| Published: |
North-Holland Publishing Company
1955
|
| Subjects: | |
| Online Access: |
http://www.library.usd.ac.id//web/index.php?pilih=search&p=1&q=30496&go=Detail |