Cargando…

Proof Theory

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Jervell, Herman Ruge
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin : Logos Verlag Berlin, 2013.
Temas:	Proof theory. Théorie de la preuve. Proof theory
Acceso en línea:	Texto completo

Ejemplares similares

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

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

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

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

On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis
por: Safarik, Pavol
Publicado: (2014)

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

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

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

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

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

The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs /
por: Cupillari, Antonella
Publicado: (2023)

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

Handbook of proof theory /
Publicado: (1998)

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

The nuts and bolts of proofs : an introduction to mathematical proofs /
por: Cupillari, Antonella
Publicado: (2013)

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)

Memoirs of a Proof Theorist : Gödel and Other Logicians.
por: Passell, Nicholas
Publicado: (2003)

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

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

Proving in the elementary mathematics classroom /
por: Stylianides, Andreas J.
Publicado: (2016)

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

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

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

Lectures on the Curry-Howard Isomorphism.
por: Urzyczyn, Pawel
Publicado: (2006)

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

Mathematical analysis and proof /
por: Stirling, David S. G., 1947-
Publicado: (2009)

The burdens of proof : discriminatory power, weight of evidence, and tenacity of belief /
por: Nance, Dale A.
Publicado: (2016)

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

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

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

Linear Logic in Computer Science /
Publicado: (2004)

Proofs and Computations.
por: Schwichtenberg, Helmut
Publicado: (2011)

Proofs and Computations.
por: Schwichtenberg, Helmut
Publicado: (2011)

Proof, logic, and formalization
Publicado: (1992)

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

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2014)

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

Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine
Publicado: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_htebg3jhte9lrc5692k27pg8ld