Cargando…

Proof and Other Dilemmas : Mathematics and Philosophy /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Gold, Bonnie, Simons, Roger A.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cambridge : Cambridge University Press, 2011.
Colección:	Spectrum
Temas:	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.
Acceso en línea:	Texto completo

Ejemplares similares

Proof and knowledge in mathematics /
Publicado: (1992)

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

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

Proof and knowledge in mathematics /
Publicado: (1992)

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

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

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

Proof Logic and Formalization.
por: Detlefsen, Michael, 1948-
Publicado: (1992)

Logical foundations of proof complexity /
por: Cook, Stephen, 1948-
Publicado: (2010)

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

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

Linear Logic in Computer Science /
Publicado: (2004)

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

Logical Foundations of Proof Complexity.
por: Cook, Stephen, 1948-
Publicado: (2010)

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

Handbook of Mathematical Induction.
por: Gunderson, David S.
Publicado: (2014)

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

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

The nuts and bolts of proofs /
por: Cupillari, Antonella
Publicado: (2005)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

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

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

Proof theory /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1975)

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

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

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

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

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

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

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

Studies in logic /
Publicado: (1983)

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

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

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

Diamond : a paradox logic /
por: Hellerstein, N. S. (Nathaniel S.)
Publicado: (2010)

Deducibility and decidability /
por: Gill, R. R. Rockingham, 1944-
Publicado: (1990)

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

Elementary Logic
por: QUINE, W. V.
Publicado: (1980)

Logic Colloquium 2006 /
Publicado: (2009)

Purity, spectra and localisation /
por: Prest, Mike
Publicado: (2009)

Cannot write session to /tmp/vufind_sessions/sess_i54bivco1ea6p3dkstn88trlai