TY  - BOOK
AU  - Manin, Yu. I
TI  - Course in mathematical logic
SN  - 0387902430
CY  - New York
N1  - B31 L7
ER  -