Structural Proof Theory
📄 Viewing lite version
Full site ›
Book Details
Author(s)Professor Sara Negri, Jan von Plato
PublisherCambridge University Press
ISBN / ASIN0521793076
ISBN-139780521793070
AvailabilityUsually ships in 24 hours
Sales Rank4,419,348
CategoryScience
MarketplaceUnited States 🇺🇸
Description ▲
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, downloadable from the web and regularly updated.
More Books in Science
Low and High Dielectric Constant Materials and Their A…
View
From Biology to Sociopolitics: Conceptual Continuity i…
View
Reviews of Plasma Chemistry: Volume 2
View
Application of Short-Term Bioassays in the Fractionati…
View
The Molecular Immunology of Complex Carbohydrates - 2 …
View
Structure, Function and Biogenesis of Energy Transfer …
View
The Interacting Boson Model (Cambridge Monographs on M…
View
Heavy Quark Physics (Cambridge Monographs on Particle …
View
An Introduction to Theoretical Chemistry
View