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