Sign in with Facebook
Proof Theory Books
Showing 1-37 of 37
The Blind Spot: Lectures on Logic (Hardcover)
by (shelved 2 times as proof-theory)
avg rating 4.00 — 10 ratings — published 2011
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by (shelved 2 times as proof-theory)
avg rating 4.05 — 22 ratings — published 1989
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
by (shelved 2 times as proof-theory)
avg rating 4.33 — 3 ratings — published 1987
Structural Proof Theory (Paperback)
by (shelved 2 times as proof-theory)
avg rating 4.09 — 11 ratings — published 2001
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
by (shelved 2 times as proof-theory)
avg rating 3.91 — 11 ratings — published 1996
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
by (shelved 2 times as proof-theory)
avg rating 4.00 — 13 ratings — published 1965
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (Paperback)
by (shelved 1 time as proof-theory)
avg rating 4.67 — 6 ratings — published
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published
Methods of Cut-Elimination (Trends in Logic, 34)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 1 rating — published 2011
Provability, Computability and Reflection (Kindle Edition)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 1988
Proof theory (Paperback)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2013
Proof Theory for Fuzzy Logics (Applied Logic Series, 36)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2008
Proof Theory (Grundlehren der mathematischen Wissenschaften)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2011
Proof Theory of Modal Logic (Paperback)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 1 rating — published 1996
Proof Theory: The First Step into Impredicativity (Universitext)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2008
Proof Theory and Automated Deduction (Applied Logic Series, 6)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 1 rating — published 1997
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 2 ratings — published 2014
What Logics Mean: From Proof Theory to Model-Theoretic Semantics (Hardcover)
by (shelved 1 time as proof-theory)
avg rating 3.67 — 6 ratings — published 2013
Ways of Proof Theory (ebook)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2010
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
by (shelved 1 time as proof-theory)
avg rating 5.00 — 1 rating — published 2008
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 1989
Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 1971
Normalization, Cut-Elimination, and the Theory of Proofs (Volume 28) (Lecture Notes)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 1 rating — published 1992
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
by (shelved 1 time as proof-theory)
avg rating 4.33 — 21 ratings — published 2004
Dag Prawitz on Proofs and Meaning (Outstanding Contributions to Logic, 7)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2014
Proofs and Computations (Perspectives in Logic)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2011
Proof Theory (Paperback)
by (shelved 1 time as proof-theory)
avg rating 4.00 — 9 ratings — published 1975
Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)
by (shelved 1 time as proof-theory)
avg rating 3.50 — 2 ratings — published 1993
Proof Theory: History and Philosophical Significance (Synthese Library, 292)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2000
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs) (English and Russian Edition)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published
Introducing Logic: A Graphic Guide (Kindle Edition)
by (shelved 1 time as proof-theory)
avg rating 3.61 — 1,133 ratings — published 2001
Mathematical Logic (Addison-Wesley Series in Logic)
by (shelved 1 time as proof-theory)
avg rating 4.10 — 21 ratings — published 2001
Computability and Logic (Paperback)
by (shelved 1 time as proof-theory)
avg rating 4.13 — 165 ratings — published 1980
Language, Proof and Logic (Paperback)
by (shelved 1 time as proof-theory)
avg rating 3.48 — 172 ratings — published 1999
Gödel's Proof (Hardcover)
by (shelved 1 time as proof-theory)
avg rating 4.19 — 5,600 ratings — published 1958
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)
by (shelved 1 time as proof-theory)
avg rating 0.0 — 0 ratings — published 2004
