Search Results

Proofs & Theories: Essays on Poetry

Louise Glück

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Shawn Hedman

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Anne S. Troelstra

Structural Proof Theory (Volume 0)

Sara Negri

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu

Proof Theory

Gaisi Takeuti

Write Your Own Proofs: in Set Theory and Discrete Mathematics (Dover Books on Mathematics)

amy babich

What Logics Mean: From Proof Theory to Model-Theoretic Semantics

James W. Garson

Proofs and Theories

Louis Gluck

Proof of Theory

Mark Seader

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Samuel R. Buss

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

U. Kohlenbach

Proof Theory: The First Step into Impredicativity (Universitext)

Wolfram Pohlers

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Katalin Bimbo

Arithmetic, Proof Theory, and Computational Complexity (Oxford Logic Guides)

Peter Clote

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

Hiroakira Ono

Essentials of Mathematics: Introduction to Theory, Proof, and the Professional Culture (Mathematical Association of America Textbooks)

Margie Hale

Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry

Branislav Kisacanin

Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)

Damir D. Dzhafarov

Proof Theory and Automated Deduction (Applied Logic Series, 6)

J. Goubault-Larrecq