Introduction a la logique mathematique - Novikov, S. P. (Sergeĭ Petrovich) (Dunod, 1964)