Proof theory /

An introduction to proof theory : normalization, cut-elimination, and consistency proofs /
by: Mancosu, Paolo, et al.
Published: (2021)

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 /
Published: (1992)

Handbook of proof theory /
Published: (1998)

Structural proof theory /
by: Negri, Sara, 1967-
Published: (2001)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)

Proof theory : sequent calculi and related formalisms /
by: Bimbo, Katalin, 1963
Published: (2015)

Proof theory : history and philosophical significance /
Published: (2000)

Complexity of proofs and their transformations in axiomatic theories /
by: Orevkov, V. P.
Published: (1993)

Normalization, cut-elimination, and the theory of proofs /
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)

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

Identity of proofs /
by: Widebäck, Filip
Published: (2001)

Book of Proof /
by: Hammack, Richard H.
Published: (2018)

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

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

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

Charming proofs : a journey into elegant mathematics /
by: Alsina, Claudi
Published: (2010)

Arithmetic, proof theory, and computational complexity /
Published: (1993)

Proof theory and automated deduction /
by: Goubault-Larrecq, Jean
Published: (1997)

Proof theory : sequent calculi and related formalisms /
by: Bimbó, Katalin, 1963-
Published: (2014)

Proofs and fundamentals : a first course in abstract mathematics /
by: Bloch, Ethan D., 1956-
Published: (2000)

The proof is in the pudding : the changing nature of mathematical proof /
by: Krantz, Steven G. (Steven George), 1951-
Published: (2010)

Proof theory sequent calculi and related formalisms /
by: Bimbó, Katalin, 1963-
Published: (2015)

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

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

The story of Proof : logic and the History of Mathematics /
by: Stillwell, John
Published: (2022)

Handbook of proof theory /
Published: (1998)

Proofs 101 : an introduction to formal mathematics /
by: Kirtland, Joseph (Mathematics professor)
Published: (2021)

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

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

Proof in mathematics education : research, learning and teaching /
by: Reid, David A. (David Alexander), 1963-
Published: (2010)

Math proofs demystified : [a self-teaching guide] /
by: Gibilisco, Stan
Published: (2005)

Transition to analysis with proof /
by: Krantz, Steven G.
Published: (2018)

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

An introduction to mathematical proofs /
by: Loehr, Nicholas A.
Published: (2020)

Algebra of proofs /
by: Szabo, M. E.
Published: (1978)

Logic, proof, and sets /
by: Bittinger, Marvin L.
Published: (1982)