ID:DA12102256
International Colloquium "Constructivity in Mathematics," Amsterdam, 1957
Colloquium "Constructivity in Mathematics," International
同姓同名の著者を検索
edited by A. Heyting
North-Holland Publishing Co. 1959 Studies in logic and the foundations of mathematics
所蔵館38館
