Cargando…

Proof, logic, and formalization

Mostrar otras versiones (2)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Detlefsen, Michael, 1948-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London ; New York : Routledge, 1992.
Temas:	Proof theory. Logic, Symbolic and mathematical. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

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

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

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

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

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

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

Linear Logic in Computer Science /
Publicado: (2004)

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

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

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

Ways of proof theory /
por: Schindler, Ralf
Publicado: (2010)

Ways of proof theory /
por: Schindler, Ralf
Publicado: (2010)

An introduction to mathematical proofs /
por: Loehr, Nicholas A.
Publicado: (2020)

Proof Analysis : a Contribution to Hilbert's Last Problem.
por: Von Plato, Jan
Publicado: (2011)

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S.
Publicado: (2010)

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

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

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

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

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (2014)

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

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

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

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

Proof theory : sequent calculi and related formalisms /
por: Bimbó, Katalin, 1963-
Publicado: (2014)

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S
Publicado: (2011)

Proof theory sequent calculi and related formalisms /
por: Bimbó, Katalin, 1963-
Publicado: (2015)

Handbook of proof theory /
Publicado: (1998)

Algebra of proofs /
Publicado: (1978)

Proof and Other Dilemmas : Mathematics and Philosophy /
Publicado: (2011)

Proof and knowledge in mathematics /
Publicado: (1992)

The Nuts and Bolts of Proofs.
por: Cupillari, Antonella
Publicado: (2005)

Proof Theory
por: Jervell, Herman Ruge
Publicado: (2013)

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

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

Charming Proofs : a Journey into Elegant Mathematics /
Publicado: (2011)

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

Proof and knowledge in mathematics /
Publicado: (1992)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)