Long Books
Genres

Proof Theory


Proof Theory Books

The Blind Spot: Lectures on Logic
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
Structural Proof Theory
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
Methods of Cut-Elimination (Trends in Logic, 34)
Provability, Computability and Reflection
Proof theory
Proof Theory for Fuzzy Logics (Applied Logic Series, 36)
Proof Theory (Grundlehren der mathematischen Wissenschaften)
Blank 133x176
Proof Theory of Modal ...
 
by
Heinrich Wansing
More proof theory books...