Logic year 1979-80, the University of Connecticut, USA

Group Author: (Manuel), 1943-; Schmerl J. H.; (James Henry), 1940-; Soare R. I.; (Robert Irving), 1940-; Lerman M.
Published: Springer-Verlag,
Publication Dates: 1981.
Call Number: O141-53/L832.1/1979/80/