Normal view
MARC view
Heyting A (Personal Name)
Machine generated authority record
Work cat.: (OSt)478340: Heyting A., Intuitionism : an introduction. , 1956