sur 11
Logique arithmétique : L'arithmétisation de la logique — Yvon Gauthier