Elements of mathematical logic - Novicov, P. S. (Oliver & Boyd, 1964)