Inexhaustibility : a non-exhaustive treatment /
| Main Author: | Franzén, Torkel |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Urbana, Ill. : Wellesley, Mass. :
Association for Symbolic Logic ; A K Peters,
[2004]
|
| Series: | Lecture notes in logic ;
16. |
| Subjects: |
Similar Items
Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)
by: Chaitin, Gregory J.
Published: (2007)
Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)
by: Franzén, Torkel
Published: (2005)
Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)
by: Franzén, Torkel
Published: (2005)
Gödel's theorem : an incomplete guide to its use and abuse /
by: Franzén, Torkel
Published: (2005)
by: Franzén, Torkel
Published: (2005)
Godel's theorem : an incomplete guide to its use and abuse /
by: Franzen, Torkel
Published: (2005)
by: Franzen, Torkel
Published: (2005)
There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)
by: Berto, Francesco
Published: (2009)
Gödel's incompleteness theorem /
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1987)
by: Uspenskiĭ, V. A. (Vladimir Andreevich)
Published: (1987)
Mechanism, mentalism, and metamathematics : an essay on finitism /
by: Webb, Judson Chambers, 1936-
Published: (1980)
by: Webb, Judson Chambers, 1936-
Published: (1980)
Aspects of incompleteness /
by: Lindström, Per, 1936-2009
Published: (2003)
by: Lindström, Per, 1936-2009
Published: (2003)
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)
Published: (1952)
Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1973)
by: Chang, Chin-Liang, 1937-
Published: (1973)
Formal number theory and computability : a workbook /
by: Fisher, Alec
Published: (1982)
by: Fisher, Alec
Published: (1982)
The logic of sequences : a generalization of Principia mathematica /
by: Quine, W. V. (Willard Van Orman)
Published: (1990)
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)
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)
by: Van Heijenoort, Jean, 1912-1986
Published: (1967)
Between logic and intuition : essays in honor of Charles Parsons /
Published: (2000)
Published: (2000)
Euclid in the rainforest : discovering the universal truth in logic and math /
by: Mazur, Joseph
Published: (2006)
by: Mazur, Joseph
Published: (2006)
Philosophy of mathematics in the twentieth century : selected essays /
by: Parsons, Charles, 1933-
Published: (2014)
by: Parsons, Charles, 1933-
Published: (2014)
Fundamentals of mathematics.
by: Richardson, Moses, 1911-1968
Published: (1958)
by: Richardson, Moses, 1911-1968
Published: (1958)
Invariance and structural dependence /
by: Odelstad, Jan
Published: (1992)
by: Odelstad, Jan
Published: (1992)
Foundations of mathematics /
by: Hatcher, William S.
Published: (1968)
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)
by: Hopkins, Burt C.
Published: (2011)
Mathematical logic and the foundations of mathematics ; an introductory survey.
by: Kneebone, G. T.
Published: (1963)
by: Kneebone, G. T.
Published: (1963)
The development of mathematical logic.
by: Nidditch, P. H.
Published: (1962)
by: Nidditch, P. H.
Published: (1962)
Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-2015
Published: (1998)
by: Hintikka, Jaakko, 1929-2015
Published: (1998)
Meaning and existence in mathematics.
by: Castonguay, Charles
Published: (1972)
by: Castonguay, Charles
Published: (1972)
The logic pamphlets of Charles Lutwidge Dodgson and related pieces /
by: Dodgson, Charles Lutwidge, 1832-1898
Published: (2010)
by: Dodgson, Charles Lutwidge, 1832-1898
Published: (2010)
Mathematical logic.
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)
The foundations of mathematics and other logical essays /
by: Ramsey, Frank Plumpton, 1903-1930
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)
by: Gödel, Kurt
Published: (1940)
Mathematics and plausible reasoning.
by: Pólya, George, 1887-1985
Published: (1954)
by: Pólya, George, 1887-1985
Published: (1954)
An introduction to mathematical thought.
by: Stabler, Edward Russell, 1906-
Published: (1953)
by: Stabler, Edward Russell, 1906-
Published: (1953)
Frege and Godel ; two fundamental texts in mathematical logic.
by: Van Heijenoort, Jean, 1912-1986
Published: (1970)
by: Van Heijenoort, Jean, 1912-1986
Published: (1970)
Grundlagen der mathematik /
by: Hilbert, David, 1862-1943
Published: (1934)
by: Hilbert, David, 1862-1943
Published: (1934)
Les fondements logiques des mathematiques.
by: Beth, Evert Willem
Published: (1955)
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)
by: Couturat, Louis, 1868-1914
Published: (1965)
Einfuhrung in die philosophischen Grundlagen der Mathematik.
by: Frey, Gerhard, 1915-
Published: (1968)
by: Frey, Gerhard, 1915-
Published: (1968)
Grundlagen der Mathematik /
by: Hilbert, David, 1862-1943
Published: (1968)
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)
Published: (2002)
More precisely : the math you need to do philosophy /
by: Steinhart, Eric
Published: (2009)
by: Steinhart, Eric
Published: (2009)