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