Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam, 1957 (Studies in logic and the foundations of mathematics)