Proof Theory: Sequent Calculi and Related Formalisms

by Katalin Bimbó · 1 review · 2016

Metaphysics & Logic

Also by Bimbó

• Combinatory Logic -- Pure, Applied, and Typed (1 review)
• Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 Katalin Bimbó J. Michael Dunn (1 review)

Search PhilReviews for this title