Introduction à la logique mathématique — Petr Sergeevič Novikov