Grundzüge der mathematischen Logik (Elementi matematičeskoj logiki fizmatgiz. Deutsch) - Novikov, Petr Sergeevič (Logik u.Grundlagen d.Mathematik, 1973)