TY  - BOOK
AU  - Lerman,M.
AU  - Schmerl,J.H.
AU  - Soare,R.I.
TI  - Logic year 1979-80, the University of Connecticut, USA
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Includes bibliographies
ER  -