Grundzüge der mathematischen Logik (Elementi matematiceskoj logiki fizmatgiz [Deutsch]) - Novikov, Petr Sergeevič (Logik u.Grundlehren d.Mathematik, 1973)