̂Gōdel's proof /

Main Author:	Nagel, Ernest, 1901-1985.
Other Authors:	Newman, James Roy,, Hofstadter, Douglas R.,
Format:	Book
Language:	English
Published:	New York : New York University Press, c2001.
Edition:	Αναθ. εκδ.
Subjects:	Gōdel's theorem.

Similar Items

Το θεώρημα του Godel /
by: Nagel, Ernest, 1901-
Published: (1991)

Godel's theorem in focus/
Published: (1988)

Godel's incompleteness theorems/
by: Smullyan, Raymond M.
Published: (1992)

Για το θεώρημα μη-πληρότητας του Godel/
by: Uspenskii, Vladimir Andreevich
Published: (1998)

Το θεώρημα του Godel/
by: Nagel, Ernest
Published: (1991)

Από την παράνοια στους αλγόριθμους : η Δέκατη έβδομη νύχτα και άλλες διαδρομές /
by: Δοξιάδης, Απόστολος, 1953-
Published: (2006)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

An introduction to Godel's Theorems/
by: Smith, Peter, 1935-
Published: (2007)

Godel's theorem an incomplete guide to its use and abuse /
by: Franzen, Torkel
Published: (2005)

Les theoremes d'incompletude de Godel /
by: Smullyan, Raymond M.
Published: (1993)

Gödel, Escher, Bach : an eternal golden braid/
by: Hofstadter, Douglas R., 1945-
Published: (1999)

Godel, Escher, Bach: an eternal golden braid/
by: Hofstadter, Douglas R., 1945-
Published: (1999)

Godel, Escher, Bach : an eternal golden braid /
by: Hofstadter, Douglas R., 1945-
Published: (1980)

Godel, Escher, Bach: an eternal golden braid/
by: Hofstadter, Douglas R., 1945-
Published: (1980)

Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)

Vahé Godel/
by: Le Sidaner, Jean Marie
Published: (1981)

Enumerability, decidability, computability.: An introduction to the theory of recursive functions/
by: Hermes, Hans
Published: (1969)

Roger Godel : de l'humanisme a l'humain /
Published: (1963)

The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1995)

Completeness theory for propositional logics
by: Pogorzelski, Witold, 1944-
Published: (2008)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans.
Published: (1969)

Gθodel's incompleteness theorems
by: Smullyan, Raymond M.
Published: (1992)

Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)

Η έννοια της μαθηματικής αλήθειας και η απόδειξη του Goedel/
by: Αυγελής, Νικόλαος Γ.
Published: (1972)

Godelʹs theorem in focus/
by: Shanker, S. G.
Published: (1988)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1987)

The large, the small and the human mind/
by: Penrose, Roger
Published: (1997)

The large, the small, and the human mind /
Published: (1997)

Les deux infinis et l'esprit humain/
by: Penrose, Roger
Published: (1999)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions/
Published: (2004)

Collegium logicum : annals of the Kurt Godel Society.
Published: (1995)

Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)

From Frege to Godel: a source book in mathematical logic 1879-1931
Published: (1967)

The proof
Published: (1997)

Shadows of the mind a search for the missing science of consciousness /
by: Penrose, Roger
Published: (1994)

Conjecture and proof /
by: Laczkovich, Miklσs
Published: (2001)

Algebra of proofs
by: Szabo, M. E
Published: (1978)

Charming proofs a journey into elegant mathematics /
by: Alsina, Claudi.
Published: (2010)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2011)

Mathematical proofs: a transition to advanced mathematics/
by: Chartrand, Gary
Published: (2003)

Cannot write session to /tmp/vufind_sessions/sess_tm0aoff7svqth9tiuokdc6cpo1