Studies in logic and the foundations of mathematics. - Brouwer, Luitzen Egbertus Jan; Beth, Evert Willem; Heyting, Arend (North-Holland Publ. Comp., 1959)