Elements of mathematical logic - Novikov, P. S. (Petr Sergeevich) (Adiwes international series in mathematics, 1964)