CONSTRUCTIVITY IN MATHEMATICS - Heyting, A. (North-Holland, 1959)