Elements of mathematical logic. (Ėlementy Matematicheskoĭ Logiki) / 
Novikov, P. S.(Petr Sergeevich)
Edinburgh, 
1964.