Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
Saved in:
| Author / Creator: | Mostowski, Andrzej |
|---|---|
| Imprint: | Amsterdam, North-Holland Pub. Co., 1952. |
| Description: | 117 p. 23 cm. |
| Language: | English |
| Series: | Studies in logic and the foundations of mathematics |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/601736 |
