Elements of mathematical logic. - Novikov, Petr Sergeevich (Oliver and Boyd, 1964)