Logic colloquium'73. - Rose, H.E (Studies in logic and foundations of mathematics., 1975)