Elementy matematičeskoj logiki - Novikov, Petr Sergevič (Fizmatgiz, 1959)