Normal view
MARC view
Kino A Ed(Personal Name)
Machine generated authority record.
Work cat.: (OSt)754116: Kino A Ed., Intuitionism and proof theory , 1970