TY  - GEN
AU  - Cavaillès
AU  - Cartan
AU  - Desanti
TI  - Méthode axiomatique et formalisme
SN  - 2-7056-5941-2
PY  - 1981///
CY  - Paris
PB  - Hermann
KW  - Ackermann
KW  - Borel
KW  - Brouwer
KW  - Dedekind
KW  - Desargues
KW  - Descartes
KW  - Frege
KW  - Gentzen
KW  - Godel
KW  - Grassmann
KW  - Hankel
KW  - Herbrand
KW  - Hilbert
KW  - Kant
KW  - Lebesgue
KW  - Leibniz
KW  - Loewenheim Skolem
KW  - Pasch
KW  - Russell
KW  - Von Neumann
KW  - Axiomatisation
KW  - Axiome
KW  - Calcul Desarguien
KW  - Continu
KW  - FORMALISME
KW  - Méthode axiomatique
KW  - Valuation
KW  - Méthode de
KW  - EPISTEMOLOGIE
KW  - HISTOIRE DES MATHEMATIQUES
N2  - Bibliogr.p.184-191; Index p.192-194
ER  -