TY - JOUR AU - Schönfinkel, M. TI - Sur les éléments de construction de la logique mathématique JO - Mathématiques informatique et sciences humaines PY - 1990 SP - 5 EP - 26 VL - 112 PB - Ecole des hautes-études en sciences sociales UR - http://www.numdam.org/item/MSH_1990__112__5_0/ LA - fr ID - MSH_1990__112__5_0 ER -