Normal view
MARC view
Heyting A ed(Personal Name)
Machine generated authority record.
Work cat.: (OSt)182973: Heyting A ed, Constructivity in mathematatics , 1957