Book Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & OnlineBook Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & Online
Add Item to wish listAdd Item to wish list

Structural Proof Theory

By Sara Negri, Jan von Plato
Hardcover
$133.00
By Sara Negri, Jan von Plato
Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.

Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, download...

Categories

Science & TechnologyMathematicsHistory & Philosophy of ScienceLogic & Foundations of MathematicsPhilosophy of Science - General & Miscellaneous