Grundzüge der mathematischen Logik - Novikov, P. S. (VEB Deutscher Verlag der Wissenschaften, 1973)