00940nam a2200265 i 450099100113602970753620020507183924.0930928s1981 fr ||| | ||| 2705659412b10805862-39ule_instLE01307620ExLDip.to Matematicaeng510.1AMS 03BCavaillés, Jean45641Méthode axiomatique et formalisme :essai sur le problème du fondament des mathématiques /Jean CavaillésParis :Hermann,1981196 p. ;26 cm.General logic.b1080586202-04-1428-06-02991001136029707536LE013 03B CAV11 (1981)12013000074139le013-E0.00-l- 00000.i1091046328-06-02Méthode axiomatique et formalisme345888UNISALENTOle01301-01-93ma -engfr 01