Elements of mathematical logic / P.S. Novikov ; translated by Leo F. Boron ; with a preface and notes by R.L. Goodstein. - Novikov, P. S. (Petr Sergeevich) (Oliver & Boyd, 1964)