Το θεώρημα του Godel /

Main Author:	Nagel, Ernest, 1901-
Other Authors:	Newman, James Roy,
Format:	Book
Language:	Greek English
Published:	Αθήνα : Τροχαλία, 1991.
Subjects:	Gödel's theorem Logic, Symbolic and mathematical Gödel's θεωρία.

Similar Items

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

̂Gōdel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2001)

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

De lʹhumanisme a lʹhumain/
by: Godel, Roger, 1898-
Published: (1963)

Roger Godel, de l'humanisme a l'humain/
by: Asfar, Antoine
Published: (1963)

Το μεγάλο, το μικρό και η ανθρώπινη νόηση /
Published: (1999)

Σκιές του νου /
by: Penrose, Roger
Published: (1994)

A logical journey : from Gödel to philosophy /
by: Wang, Hao, 1921-
Published: (1996)

Classical and fuzzy concepts in mathematical logic and applications/
by: Reghiχs, Mircea
Published: (1998)

Logic for computer scientists/
by: Schoening, Uwe, 1955-
Published: (2008)

In the light of logic /
by: Feferman, Solomon.
Published: (1998)

Mathematical logic in the 20th century /
Published: (2003)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

A course in mathematical logic/
by: Manin, Yu. I.
Published: (1977)

Cannot write session to /tmp/vufind_sessions/sess_f8ookd7iaqvkglhcb85ut0ej54