ID:DA12102256
International Colloquium "Constructivity in Mathematics," Amsterdam, 1957
Colloquium "Constructivity in Mathematics," International
Search authors sharing the same name
edited by A. Heyting
North-Holland Publishing Co. 1959 Studies in logic and the foundations of mathematics
Available at 38 libraries