Normal view
MARC view
Takeuti, Gaisi (Personal Name)
Machine generated authority record
Work cat.: (OSt)8845: Takeuti, Gaisi, Two applications of logic to mathematics, 1978
