Vol. 859. Lerman, M.; Schmerl, J. H.; Soare, R. I. (Eds.) 
Logic Year 1979-80: The University of Connecticut, USA 
QA9.A1 L64