Loading…

Proof and Other Dilemmas : Mathematics and Philosophy /

Show other versions (1)

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Gold, Bonnie, Simons, Roger A.
Format:	Electronic eBook
Language:	Inglés
Published:	Cambridge : Cambridge University Press, 2011.
Series:	Spectrum
Subjects:	Mathematics > Philosophy. Proof theory. Logic, Symbolic and mathematical. Mathématiques > Philosophie. Théorie de la preuve. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic.
Online Access:	Texto completo

Similar Items

Proof and knowledge in mathematics /
Published: (1992)

Proof, logic, and formalization /
Published: (1992)

Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)

Proof and knowledge in mathematics /
Published: (1992)

Conditional and preferential logics : proof methods and theorem proving /
by: Pozzato, Gian Luca
Published: (2010)

Mathematical thinking and writing : a transition to abstract mathematics /
by: Maddox, Randall B.
Published: (2002)

A framework for priority arguments /
by: Lerman, M. (Manuel), 1943-
Published: (2010)

Proof Logic and Formalization.
by: Detlefsen, Michael, 1948-
Published: (1992)

Logical foundations of proof complexity /
by: Cook, Stephen, 1948-
Published: (2010)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Linear Logic in Computer Science /
Published: (2004)

Mathematics and plausible reasoning.
by: Pólya, George, 1887-1985
Published: (1968)

Logical Foundations of Proof Complexity.
by: Cook, Stephen, 1948-
Published: (2010)

An Introduction to Non-Classical Logic : From If to Is
by: Priest, Graham
Published: (2008)

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

The History of Mathematical Proof in Ancient Traditions /
Published: (2012)

The moment of proof : mathematical epiphanies /
by: Benson, Donald C.
Published: (2000)

The nuts and bolts of proofs /
by: Cupillari, Antonella
Published: (2005)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

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

Logical dynamics of information and interaction /
by: Benthem, Johan van, 1949-
Published: (2011)

Proof theory /
by: Takeuti, Gaisi, 1926-2017
Published: (1975)

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

Lectures in logic and set theory.
by: Tourlakis, George J.
Published: (2003)

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Published: (2010)

Phenomenology, logic, and the philosophy of mathematics /
by: Tieszen, Richard L., 1951-2017
Published: (2005)

Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 /
Published: (2003)

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Published: (2006)

Logic with trees : an introduction to symbolic logic /
by: Howson, Colin
Published: (1997)

Studies in logic /
Published: (1983)

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

Infinity and the Mind : the Science and Philosophy of the Infinite /
by: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Published: (2019)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
by: Mancosu, Paolo
Published: (2010)

Diamond : a paradox logic /
by: Hellerstein, N. S. (Nathaniel S.)
Published: (2010)

Deducibility and decidability /
by: Gill, R. R. Rockingham, 1944-
Published: (1990)

Formalism and beyond : on the nature of mathematical discourse /
Published: (2014)

Elementary Logic
by: QUINE, W. V.
Published: (1980)

Logic Colloquium 2006 /
Published: (2009)

Purity, spectra and localisation /
by: Prest, Mike
Published: (2009)