Studies in logic and the foundations of mathematics - Heyting, A.