TY  - BOOK
AU  - Getmanova  Alexandra
AU  - Stephen Smith [tr.]
TI  - Logic
SN  - 9785010010997
U1  - 160 
PY  - 1989///
CY  - Moscow
PB  - Progress 
KW  - Logic
N1  - Getmanova Alexandra Stephen Smith
ER  -