@article{MSH_1991__116__47_0,
     author = {Gaudin, Claude},
     title = {Un point de logique aristot\'elicienne : le {\guillemotleft} d\'efinitionnel {\guillemotright}},
     journal = {Math\'ematiques informatique et sciences humaines},
     pages = {47--55},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {116},
     year = {1991},
     mrnumber = {1167762},
     zbl = {0800.03006},
     language = {fr},
     url = {http://www.numdam.org/item/MSH_1991__116__47_0/}
}