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