Sentences undecidable in formalized arithmetic.

Introduction to semantics : and Formalization of logic.
by: Carnap, Rudolf, 1891-1970
Published: (1959)

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

Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1956)

Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred, 1901-1983
Published: (1983)

Logique, semantique, metamathematique, 1923-1944.
by: Tarski, Alfred, 1901-1983
Published: (1972)

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)

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

Introduction to semantics.
by: Carnap, Rudolf, 1891-1970
Published: (1942)

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

There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)

Philosophy and model theory /
by: Button, Tim, et al.
Published: (2018)

Formal methods.
by: Beth, Evert Willem
Published: (1962)

Truth, syntax and modality ; proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)

Modern formal logic /
by: McKay, Thomas J.
Published: (1989)

Systems of formal logic /
by: Hackstaff, L. H.
Published: (1967)

The basic laws of arithmetic : exposition of the system /
by: Frege, Gottlob, 1848-1925
Published: (1967)

The basic laws of arithmetic ; exposition of the system /
by: Frege, Gottlob, 1848-1925
Published: (1964)

Mathematical interpretation of formal systems /
Published: (1955)

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

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

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

Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Godel /
Published: (1969)

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)

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

An introduction to Gödel's Theorems /
by: Smith, Peter, 1944-
Published: (2007)

Grundlagen der Logik und Mathematik /
by: Carnap, Rudolf, 1891-1970
Published: (1973)

The logic of discovery /
by: Carmichael, R. D. (Robert Daniel), 1879-1967
Published: (1930)

Intuitionism ; an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1966)

Logic ; techniques of formal reasoning /
by: Kalish, Donald
Published: (1964)

Mits, wits, and logic /
by: Lieber, Lillian R. (Lillian Rosanoff), 1886-1986
Published: (1960)

Philosophical logic and logical philosophy : essays in honour of Vladimir A. Smirnov /
Published: (1996)

Tractatus logico-philosophicus. : The German text Logisch-philosophische Abhandlung /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1961)

Prototractatus ; an early version of Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1971)

Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1922)

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