International Colloquium "Constructivity in Mathematics" (1957 Amsterdam, Netherlands)