Logique arithmétique l'arithmétisation de la logique - Gauthier, Yvon. (Presses de l'Université Laval,)