TY  - BOOK
AU  - Novikov, P.S
TI  - Elements of mathematical logic
N1  - B31 K43
ER  -