Heyting, A. (Arend) , 1898- (Personal Name)

Number of records used in: 3

Preferred form: Heyting, A. (Arend) , 1898-

Machine generated authority record.

Work cat.: (): International Colloquium on Constructivity in Mathematics (1957 Amsterdam, Netherlands) 133530, Constructivity in mathematics :, 1959