Introduction a la logique mathématique - Novikov, P. S. (Petr Sergeevich) (Collection Universitaire de Mathématiques, 14, 1964)