Proof theory and algebra in logic. ([2019]) - Ono, Hiroakira
No abstract available