TY  - BOOK
AU  - Smith, Stephen
TI  - Alexandra Getmanova Logic
U1  - 511.3 
PY  - 2000///
CY  - MOSCOW
PB  - Progress
KW  - General principles of mathematicsGeneral Stack
KW  - Natural Sceinecs
KW  - MathematicsEnglish
ER  -