Lanean...
Kurt Godel: essays for his centennial
| Egile nagusia: | Soloman Feferman (ed.) |
|---|---|
| Beste egile batzuk: | Stephen G Simpson (ed.), Charles Parsons (ed.) |
| Formatua: | Printed Book |
| Argitaratua: |
New York
Cambridge University Press
2010
|
| Gaiak: |
Antzeko izenburuak
-
Kurt Gödel and the foundations of mathematics : horizons of truth /
Argitaratua: (2014) -
Kurt Godel and the Foundations of Mathematics: horizons of truth
nork: Matthias Baaz
Argitaratua: (2011) -
Godel's proof /
nork: Ernest Nagel
Argitaratua: (2005) -
Godel, Escher, Bach: An eternal Golden Braid
nork: Hofstadter, Douglas R
Argitaratua: (1979) -
Extensional godel functional interpretation
nork: Luckhardt, Horst
Argitaratua: (1973)