Elementy matematičeskoj logiki - Novikov, Petr Sergejevič (Gosudarstvennoje izdatel'stvo fiziko-matematičeskoj literatury, 1959)