Logic year 1979-80, the University of Connecticut, USA - Lerman, M. (Manuel), 1943-.; Schmerl, J. H. (James Henry), 1940-.; Soare, R. I. (Robert Irving), 1940-. (Berlin : Springer-Verlag, 1981)
Includes bibliographies.
1
Keywords: Logic, Symbolic and mathematical -- Congresses