Annals of Pure and Applied Logic. (Elsevier Science Publishers B.V., 1969)