Logic colloquium '73 : proceedings - Rose, Harvey Ernest; Shepherdson, J. C. (Studies in logic and the foundations of mathematics, 1975)