Sequent Calculi and Related Formalisms
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...
To Be Published August 21st 2014 by Chapman and Hall/CRC
Pure, Applied and Typed
Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last...
Published July 26th 2011 by Chapman and Hall/CRC