Normal view
MARC view
Logic, symbolic and mathematical Congresses (Topical Term)
Machine generated authority record.
Work cat.: (): International Colloquium on Constructivity in Mathematics (1957 Amsterdam, Netherlands) 133530, Constructivity in mathematics :, 1959
