TY  - BOOK
AU  - Getmanova,A.D.
AU  - Getmanova,A.D.
AU  - Smith,S.A.
TI  - Logic
T2  - Student's library
SN  - 5010010992 (pbk.)
PY  - 1989///
CY  - Moscow
PB  - Progress Publishers
KW  - Mathematical Logic
ER  -