La fonction logique de Hilbert à travers les « Grundlagen der Mathematik »
Mathématiques informatique et sciences humaines, Tome 84 (1983), pp. 65-82
Cet article a éte moissonné depuis la source Numdam
@article{MSH_1983__84__65_0,
author = {Froidevaux, Christine},
title = {La fonction logique $\varepsilon $ de {Hilbert} \`a travers les {\guillemotleft} {Grundlagen} der {Mathematik} {\guillemotright}},
journal = {Math\'ematiques informatique et sciences humaines},
pages = {65--82},
year = {1983},
publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
volume = {84},
zbl = {0541.03001},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/MSH_1983__84__65_0/}
}
TY - JOUR AU - Froidevaux, Christine TI - La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik » JO - Mathématiques informatique et sciences humaines PY - 1983 SP - 65 EP - 82 VL - 84 PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique UR - http://geodesic.mathdoc.fr/item/MSH_1983__84__65_0/ LA - fr ID - MSH_1983__84__65_0 ER -
%0 Journal Article %A Froidevaux, Christine %T La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik » %J Mathématiques informatique et sciences humaines %D 1983 %P 65-82 %V 84 %I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique %U http://geodesic.mathdoc.fr/item/MSH_1983__84__65_0/ %G fr %F MSH_1983__84__65_0
Froidevaux, Christine. La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik ». Mathématiques informatique et sciences humaines, Tome 84 (1983), pp. 65-82. http://geodesic.mathdoc.fr/item/MSH_1983__84__65_0/