This textbook by Sara Negri covers structural proof theory, a branch of logic that focuses on the general structure and properties of logical and mathematical proofs. It provides a compact introduction to the central results and methods and is suitable for students and specialists in philosophy, mathematics, and computer science. An important feature is the interactive, computer-assisted program for developing proofs, which is updated regularly.
Overview
Structural proof theory investigates the general structure of logical proofs, with an emphasis on natural deduction and sequent calculus. The book contains extensive results on proof-theoretic systems and the connection between logic and mathematics. The authors place emphasis on the computational content of logical findings. This makes it a valuable reference work for anyone delving into structural proof and related areas.
Product information
- Author: Sara Negri (University of Helsinki)
- Publisher: Cambridge University Press
- Format: Trade paperback (US)
- Publication date: 2008-07-10
- Number of pages: 276
- ISBN: 9780521068420
- Theme: Philosophy: logic
- BISAC: PHILOSOPHY / Logic