Computability computable functions, logic, and the foundations of mathematics

Berechenbarkeit rekursive und programmierbare Funktionen
von: Felscher, Walter
Veröffentlicht: (1993)

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (1980)

Undecidable theories
von: Tarski, Alfred 1901-1983, et al.
Veröffentlicht: (1971)

Undecidable theories
von: Tarski, Alfred 1901-1983
Veröffentlicht: (1953)

Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Veröffentlicht: (1999)

Discrete structures, logic, and computability
von: Hein, James L.
Veröffentlicht: (2010)

Handbook of computability theory
Veröffentlicht: (1999)

Handbook of computability theory
Veröffentlicht: (1999)

Computability and logic
von: Boolos, George, et al.
Veröffentlicht: (1989)

Three views of logic mathematics, philosophy, and computer science
von: Loveland, Donald W. 1934-, et al.
Veröffentlicht: (2014)

Recursively enumerable sets and degrees a study of computable functions and computably generated sets
von: Soare, Robert I.
Veröffentlicht: (1987)

Three Views of Logic Mathematics, Philosophy, and Computer Science
von: Loveland, Donald W. 1934-
Veröffentlicht: (2014)

Handbook of computability theory
Veröffentlicht: (1999)

Computability theory an introduction
von: Jones, Neil D. 1941-
Veröffentlicht: (1973)

Undecidable theories
Veröffentlicht: (1953)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen
von: Hermes, Hans 1912-2003
Veröffentlicht: (1971)

Kurt Gödel and the foundations of mathematics horizons of truth
Veröffentlicht: (2011)

Computability
von: Weihrauch, Klaus
Veröffentlicht: (1987)

The Undecidable Basic papers on undecidable propositions, unsolvable problems, and computable functions
Veröffentlicht: (1965)

Formal number theory and computability A workbook
von: Fisher, Alec
Veröffentlicht: (1982)

Gödel's incompleteness theorems
von: Smullyan, Raymond M.
Veröffentlicht: (1992)

Gödel's theorem in focus
Veröffentlicht: (1988)

Computability and logic
von: Boolos, George, et al.
Veröffentlicht: (1995)

Computing and logic, mathematics and language
von: Satty, Glenn, et al.
Veröffentlicht: (1988)

Language and Godels Theorem a revised edition
von: Tice, Bradley S.
Veröffentlicht: (2013)

Godel's Proof
von: Nagel, Ernest, et al.
Veröffentlicht: (2001)

Computation and automata
von: Salomaa, Arto 1934-
Veröffentlicht: (1985)

An introduction to Gödel's theorems
von: Smith, Peter 1944-
Veröffentlicht: (2013)

Kurt Gödel essays for his centennial
Veröffentlicht: (2010)

First International Symposium on Gödel's Theorems Paris, 27 - 29 May 1991
Veröffentlicht: (1993)

Die Gödelschen Unvollständigkeitssätze zur Geschichte ihrer Entstehung und Rezeption
von: Ketelsen, Christel
Veröffentlicht: (1994)

Computability
von: Weihrauch, Klaus
Veröffentlicht: (1987)

There's something about Gödel the complete guide to the incompleteness theorem
von: Berto, Francesco
Veröffentlicht: (2009)

The language of machines an introduction to computability and formal languages
von: Floyd, Robert W. 1936-2001, et al.
Veröffentlicht: (1994)

Mathematical logic and computation
von: Avigad, Jeremy 1968-
Veröffentlicht: (2023)

Computability in Europe 2008
Veröffentlicht: (2010)