Il teorema e il corollario di Gödel

Milano,: Società editrice Vita e pensiero (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gödel's theorems: a workbook on formalization.Verena Huber-Dyson - 1991 - Stuttgart: B.G. Teubner Verlagsgesellschaft.
Forever undecided: a puzzle guide to Gödel.Raymond M. Smullyan - 1987 - New York: Oxford University Press.
El teorema de Goedel.Emilio Díaz Estévez - 1975 - Pamplona: Ediciones Universidad de Navarra.
Gödel's conceptual realism.Donald A. Martin - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Gödel on intuition and on Hilbert's finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Only two letters : the correspondence between Herbrand and Gödel.Wilfried Sieg - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
On Gödel's way in : the influence of Rudolf Carnap.Warren Goldfarb - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the no-counterexample interpretation.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
On the philosophical development of Kurt Gödel.Mark van Atten & Juliette Kennedy - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Platonism and mathematical intuition in Kurt Gödel's thought.Charles Parsons - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.

Analytics

Added to PP
2023-07-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references