Logique arithmétique
Séminaire de Philosophie et Mathématiques, no. 7 (1987), p. 1-23
@article{SPHM_1987___7_A1_0,
     author = {Gauthier, Yves},
     title = {Logique arithm\'etique},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {7},
     year = {1987},
     pages = {1-23},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1987___7_A1_0}
}
Gauthier, Yves. Logique arithmétique. Séminaire de Philosophie et Mathématiques, no. 7 (1987), pp. 1-23. http://www.numdam.org/item/SPHM_1987___7_A1_0/