Lanean...
Godel's proof,
| Egile nagusia: | Nagel, Ernest |
|---|---|
| Beste egile batzuk: | Newman, James Roy |
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
[New York]
New York University Press,
1986
|
| Gaiak: |
Antzeko izenburuak
-
Godel's incompleteness theorems /
nork: Smullyan, Raymond M.
Argitaratua: (1992) -
Metamathematics, machines and Godel's proof.
nork: Shankar, N
Argitaratua: (1994) -
Gödel's theorem in focus /
Argitaratua: (1988) -
Godel's proof /
nork: Ernest Nagel
Argitaratua: (2005) -
Kurt Gödel and the foundations of mathematics : horizons of truth /
Argitaratua: (2014)