TY  - BOOK
AU  - GABBAY DOU M
AU  - GONCHAROV SERGEIS 
AU  - ZAKHARYASCHEV MICHAEL
TI  - MATHEMATICAL PROBLEMS FROM APPLIED LOGIC IT LOGICS FOR THE XXIST CENTURY
SN  - 9780387692449
U1  - 510 GAB 
PB  - SPRINGER
KW  - MATHEMATICS
ER  -