Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Amsterdam
North-Holland
1964
|
| Saila: | Studies in logic and the foundations of mathematics
|
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCW1250 | ||
| 003 | CL-VaPUC | ||
| 008 | 911218e19640000NE |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.3 |b MOS |2 21 |
| 100 | 0 | |a Mostowski, Andrzej |e author |9 305166 | |
| 245 | 1 | 0 | |a Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel |
| 300 | |a 117 p | ||
| 942 | |c BK | ||
| 945 | |d 19911218 00:00:00 | ||
| 260 | |a Amsterdam |b North-Holland |c 1964 | ||
| 650 | 7 | |a TEOREMA DE GODEL |2 CL-VaPUC |9 270664 | |
| 583 | |a last modification |c 19911218 00:00:00 |k Rodrigo Vera | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 999 | |c 216169 |d 216167 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_MOS_1964 |7 0 |8 A |9 201662 |a BIBMAT |b BIBMAT |d 2019-11-14 |i 2689138 |o 511.3 MOS 1964 |p 2689138 |r 2025-01-07 |w 2019-11-14 |y BK |k MAT | ||