01189nlm0 22002051i 450 001001200000006001900012007001500031008004100046020001800087040000800105100004400113245004600157260001200203260001300215300001100228520047500239856009300714856009600807856008000903HARMA 38660m    g0  d        cr mn ---auama250701c               go  d        fre    a9782872099740  bfre0 aRoland Hinnion and Thierry Libert (eds)  aOne Hundred Years of Axiomatic Set Theory  aParis :  bAcademia  a110 p.  aThis Cahier du centre de logique is made of papers presented at the homonymous conference that was organized by the editors in October 2008 to celebrate the 100th birthday of axiomatic set theory. It can virtually be divided into two bundles of papers : one discussing systems related to Zermelo's, the other dealing more specifically with systems related to type theory and stratification, both of which treating of key notions in the axiomatization of set theory.40uhttps://www.editions-harmattan.fr/catalogue/couv/9782872099740r.jpg2Image de couverture40uhttps://www.harmatheque.com/downloadebook/97828720997402Télécharger le livre au format PDF40uhttps://www.harmatheque.com/readebook/97828720997402Lire ce livre en ligne