TY  - BOOK
AU  - Getmanova, Alexandra
TI  - Logic
SN  - 5010010992
AV  - IDS BC131.G47 
CY  - Moscow
KW  - Logic, symbolic and mathematical
ER  -