Sentences undecidable in formalized Arithmetic. An exposition of the theory of Kurt Gödel.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam
North-Holland Publ.Co.
1964
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics.
|
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| eBook bestellen: |
|
| Buch ausleihen: | zum Bestellen einloggen |
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 | ||
| 591 | |a description: Sentences undecidable in formalized Arithmelfic. An exp o s i t i on of the theory of KurtGödel. 3rd print. Amsterdam0.NorthHolland Publ.Co.1964.VIII,117 S. 8 Studies in logic and the foundations ofrnathematics. 1932:B 1866gb. Ko. |a signature: T 36.661 |a author: MOSTOWSKI, Andrzej |a published: 1866 | ||