Annals of Pure and Applied Logic (Elsevier B.V, 1975)