Elements of mathematical logic - Novikov, P. S. (Petr Sergeevich) (Adiwes International Series in Mathematics, 1964)