%0
Book
%T
Constructivity in mathematics
proceedings of the colloquium held at Amsterdam, 1957
%A International Colloquium Constructivity in Mathematics 1957 Amsterdam
%A Heyting, Arend
%I North-Holland Publ.
%K Konferenzschrift
%K Konstruktive Mathematik
%D 1959
%C North-Holland Publ.
%C Amsterdam
%U http://slubdd.de/katalog?TN_libero_mab2