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