Hiroakira Ono

2 books • 2 series

Aug 19, 2019
Cover of Proof Theory and Algebra in Logic

Proof Theory and Algebra in Logic (Short Textbooks in Logic)

Apr 25, 2007
Cover of Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Studies in Logic and the Foundations of Mathematics)