Proof Theory

by Kurt Schütte

This book was originally intended to be the second edition of the book "Beweis- theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie"...

• Format: Paperback
• Language: English
• ISBN: 364266475X
• ISBN13: 9783642664755
• Release Date: November 2011
• Publisher: Springer
• Length: 302 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.7" x 6.6" x 9.6"