Inexhaustibility : a non-exhaustive treatment /

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

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

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

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

Aspects of incompleteness /
by: Lindström, Per, 1936-2009
Published: (2003)

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

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

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

The logic of sequences : a generalization of Principia mathematica /
by: Quine, W. V. (Willard Van Orman)
Published: (1990)

From an ivory tower : a discussion of philosophical problems originating in modern mathematics.
by: Hausmann, Bernard A. (Bernard Andrew), 1899-
Published: (1960)

From Frege to Godel ; a source book in mathematical logic, 1879-1931.
by: Van Heijenoort, Jean, 1912-1986
Published: (1967)

Between logic and intuition : essays in honor of Charles Parsons /
Published: (2000)

Euclid in the rainforest : discovering the universal truth in logic and math /
by: Mazur, Joseph
Published: (2006)

Philosophy of mathematics in the twentieth century : selected essays /
by: Parsons, Charles, 1933-
Published: (2014)

Fundamentals of mathematics.
by: Richardson, Moses, 1911-1968
Published: (1958)

Invariance and structural dependence /
by: Odelstad, Jan
Published: (1992)

Foundations of mathematics /
by: Hatcher, William S.
Published: (1968)

The origin of the logic of symbolic mathematics : Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

Mathematical logic and the foundations of mathematics ; an introductory survey.
by: Kneebone, G. T.
Published: (1963)

The development of mathematical logic.
by: Nidditch, P. H.
Published: (1962)

Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-2015
Published: (1998)

Meaning and existence in mathematics.
by: Castonguay, Charles
Published: (1972)

The logic pamphlets of Charles Lutwidge Dodgson and related pieces /
by: Dodgson, Charles Lutwidge, 1832-1898
Published: (2010)

Mathematical logic.
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)

The foundations of mathematics and other logical essays /
by: Ramsey, Frank Plumpton, 1903-1930

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by: Gödel, Kurt
Published: (1940)

Mathematics and plausible reasoning.
by: Pólya, George, 1887-1985
Published: (1954)

An introduction to mathematical thought.
by: Stabler, Edward Russell, 1906-
Published: (1953)

Frege and Godel ; two fundamental texts in mathematical logic.
by: Van Heijenoort, Jean, 1912-1986
Published: (1970)

Grundlagen der mathematik /
by: Hilbert, David, 1862-1943
Published: (1934)

Les fondements logiques des mathematiques.
by: Beth, Evert Willem
Published: (1955)

Les principes des mathematiques : avec un appendice sur la philosophie des mathematiques de Kant.
by: Couturat, Louis, 1868-1914
Published: (1965)

Einfuhrung in die philosophischen Grundlagen der Mathematik.
by: Frey, Gerhard, 1915-
Published: (1968)

Grundlagen der Mathematik /
by: Hilbert, David, 1862-1943
Published: (1968)

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /
Published: (2002)

More precisely : the math you need to do philosophy /
by: Steinhart, Eric
Published: (2009)