Logic year 1979-80, the University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, and R.I. Soare. - Berlin : Springer-Verlag, 1981. - vi, 326 p. : ill. ; 24 cm. - Lecture notes in mathematics 859 .

Includes bibliographies.

81-5628


Logic, Symbolic and mathematical--Congresses.