Elements of mathematical logic - Novikov, S. P. (Sergeĭ Petrovich) (Oliver and Boyd, 1964)