Petr Sergeevich Novikov

• Introduction à la logique mathématique