Constructivity in mathematics proceedings - Heyting A ed.; Colloquium on constructivity in mathematics( 1957 : Amsterdam ); Colloquium on constructivity in mathematics Amsterdam, 1957 (Amsterdam North-Holland, 1959)
Keywords: Constructive mathematics; Mathematical logic