Constructivity in mathematics - Heyting, A (NORTH-HOLLAND PUBLISHING COMPANY AMSTERDAM, 1959)
Keywords: MATHEMATICS