Normal view
MARC view
Hiroakira Ono(Personal Name)
Machine generated authority record
Work cat.: (OSt)1640675: Hiroakira Ono, Proof Theory and Algebra in Logic