"Proof Theory and Algebra in Logic" von Hiroakira Ono ist ein Buch, das sich mit der Verbindung zwischen Beweistheorie und algebraischen Methoden in der Logik beschäftigt. Es gehört zur Reihe "Short Textbooks in Logic" und bietet eine...