Proof theory.

Applied proof theory :proof interpretations and their use in mathematics / by: (Language materials, printed)

Explanation and proof in mathematicsphilosophical and educational perspectives / by: (Electronic resources)

The art of proofbasic training for deeper mathematics / by: (Electronic resources)

Methods of cut-elimination by: (Electronic resources)

The proof is in the puddingthe changing nature of mathematical proof / by: (Electronic resources)

Structural proof theory by: (Electronic resources)

Frege's notationswhat they are and how they mean / by: (Electronic resources)

2-D quadratic maps and 3-D ODE systemsa rigorous approach / by: (Electronic resources)

Conditional and preferential logicsproof methods and theorem proving / by: (Electronic resources)

Proofs and fundamentalsa first course in abstract mathematics / by: (Electronic resources)

Mathematical analysis and proof by: (Electronic resources)

Where is the Godel-point hidingGentzen's consistency proof of 1936 and his representation of constructive ordinals / by: (Electronic resources)

Handbook of proof theory by: (Electronic resources)

Problems and proofs in numbers and algebra by: (Electronic resources)

Proof patterns by: (Electronic resources)

Why prove it again?alternative proofs in mathematical practice / by: (Electronic resources)

Gentzen's centenarythe quest for consistency / by: (Electronic resources)

Writing proofs in analysis by: (Electronic resources)

The nuts and bolts of proofsan introduction to mathematical proofs / by: (Electronic resources)

Statistical learning with sparsity :the lasso and generalizations / by: (Language materials, printed)

Basic discrete mathematics :logic, set theory, & probability / by: (Language materials, printed)

Space in weak propositional proof systems by: (Electronic resources)

An introduction to the language of mathematics by: (Electronic resources)

Proof theory and algebra in logic by: (Electronic resources)

A model-theoretic approach to proof theory by: (Electronic resources)

Mathesis universalis, computability and proof by: (Electronic resources)

The legacy of Kurt Schutte by: (Electronic resources)

Ordinal analysis with an introduction to proof theory by: (Electronic resources)

Discrete mathematics and graph theory :a concise study companion and guide / by: (Language materials, printed)

Sequents and treesan introduction to the theory and applications of propositional sequent calculi / by: (Electronic resources)

Theoremusa student's guide to mathematical proofs / by: (Electronic resources)

Arnon Avron on semantics and proof theory of non-classical logics by: (Electronic resources)

Conceptions and consequences of mathematical argumentation, justification, and proof by: (Electronic resources)

Axiomatic thinking.I by: (Electronic resources)

R-calculus.III,Post three-valued logic by: (Electronic resources)

Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem / by: (Language materials, printed)

Peter Schroeder-Heister on proof-theoretic semantics by: (Electronic resources)

Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem by: (Electronic resources)

Harmony and paradoxintensional aspects of proof-theoretic semantics / by: (Electronic resources)