@article{MSH_1990__112__5_0,
     author = {Sch\"onfinkel, M.},
     title = {Sur les \'el\'ements de construction de la logique math\'ematique},
     journal = {Math\'ematiques informatique et sciences humaines},
     pages = {5--26},
     year = {1990},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {112},
     mrnumber = {1096917},
     zbl = {0794.03002},
     language = {fr},
     url = {https://www.numdam.org/item/MSH_1990__112__5_0/}
}