Normal view
MARC view
Takeuti Gaisi(Personal Name)
Machine generated authority record.
Work cat.: (OSt)851519: Takeuti Gaisi, Proof theory, 1975