Proof Theory and Algebra in Logic by Hiroakira Ono | Menrva Books | MenrvaBooks