Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
North-Holland Publ.Co.
1964
|
| Series: | Studies in logic and the foundations of mathematics.
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1218015 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Mostowski, Andrzej | |
| 245 | 1 | 0 | |a Sentences undecidable in formalized Arithmetic. |b An exposition of the theory of Kurt Gödel. |
| 246 | 3 | |a MOSTOWSKI, Andrzej: | |
| 264 | 1 | |a Amsterdam |b North-Holland Publ.Co. |c 1964 | |
| 300 | |a VIII, 117 S. |c 8° | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics. | |
| 500 | |a MOSTOWSKI, Andrzej: -- Sentences undecidable in formalized Arithmetic.An exposition of the theory of Kurt -- Gödel. (3rd print.) - Amsterdam:North-Hol- -- land Publ.Co.1964.VIII,117 S. 8° -- (Studies in logic and the foundations of -- mathematics.) -- 1982:B 1866/gb. -- Ko.° | ||
| 852 | |c T 36.661 | ||
| 999 | |a Monographie | ||