Grundzüge der mathematischen Logik - Novikov, Petr Sergeevič (Logik u.Grundlehren d.Mathematik, 1973)