Sequent Calculi and Related Formalisms
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide...
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