Introduction a la logique mathematique - Novikov, P. S. (Petr Sergeevich) (Collection universitaire de mathematiques ;, 1964)