[Katalin Bimbo] Proof Theory : Sequent Calculi and Related Formalisms(pdf){Zzzzz}[BЯ]seeders: 3
leechers: 2
[Katalin Bimbo] Proof Theory : Sequent Calculi and Related Formalisms(pdf){Zzzzz}[BЯ] (Size: 3.03 MB)
Description Proof theory, particularly sequent calculi, allows you to provide completely formal proofs of theorems and facilitate reasoning about proofs. However, sequent calculi are not widely taught to students at either the undergraduate or graduate levels. Remedying this deficiency, this book provides a comprehensive introduction to sequent calculi. It incorporates new developments in the theory of sequent calculi from the last few decades, including recent results on consecution calculi and proof systems. Product Description Review "Katalin Bimbo is one of the leading relevance logicians in the world today and indeed one of the leading non-classical logicians in general. Her book on proof theory takes readers through standard (classical) proof theory and beyond, including proof theory for some of the most important non-classical logics. The discussion is brilliantly executed. All graduate students interested in logic should study this book and all faculty too. I plan to use the book often." -Jc Beall, Professor of Philosophy, University of Connecticut, and Professorial Fellow, Northern Institute of Philosophy, University of Aberdeen Publisher: Chapman and Hall/CRC (12 September 2014) Language: English ISBN-10: 1466564660 ISBN-13: 978-1466564664    Sharing Widget |