Komplexitat von Entscheidungsproblemen : ein Seminar /

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

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

Godel's theorem simplified /
by: Gensler, Harry J., 1945-
Published: (1984)

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

Gödel's incompleteness theorem /
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1987)

Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)

Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)

Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)

Mechanism, mentalism, and metamathematics : an essay on finitism /
by: Webb, Judson Chambers, 1936-
Published: (1980)

Forever undecided : a puzzle guide to Gödel /
by: Smullyan, Raymond M.
Published: (1987)

Metamathematics, machines, and Gödel's proof /
by: Shankar, N. (Natarajan)
Published: (1994)

Gödel's way : exploits into an undecidable world /
by: Chaitin, Gregory J.
Published: (2012)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)

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

Undecidable theories /
Published: (1953)

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

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)

Computational complexity : a conceptual perspective /
by: Goldreich, Oded
Published: (2008)

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

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine /
by: Petzold, Charles, 1953-
Published: (2008)

On formally undecidable propositions of Principia mathematica and related systems /
by: Gödel, Kurt
Published: (1962)

Decidable theories.
Published: (1970)

Turing machines with sublogarithmic space /
by: Szepietowski, Andrzej
Published: (1994)

Introduction to computability /
by: Hennie, Frederick C.
Published: (1977)

Word problems II : the Oxford book /
Published: (1980)

Word problems : decision problems and the Burnside problem in group theory /
Published: (1973)

Word problems II : the Oxford book /
Published: (1980)

Formal number theory and computability : a workbook /
by: Fisher, Alec
Published: (1982)

The monadic second order theory of all countable ordinals /
by: Büchi, J. Richard
Published: (1973)

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

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

Turing's World 3.0 for the Macintosh : an introduction to computability theory /
by: Barwise, Jon
Published: (1993)

The decision method for real algebra: is it practical? /
by: Friedman, Joel, 1962-
Published: (1966)

Memoirs of a proof theorist : Gödel and other logicians /
by: Takeuti, Gaisi, 1926-2017
Published: (2003)

The monadic second order theory of all countable ordinals /
by: Büchi, J. Richard
Published: (1973)

On input read-modes of alternating Turing machines /
by: Cai, Liming
Published: (1993)