01517nlm0 22002531i 450 001001200000010001600012100003900028101000600067102000600073105001600079135001600095200011100111210002400222215000900246230002300255301001600278305005900294330047300353336007500826700004200901856009300943856011701036856011001153HARMA 38660a9782296493056a20250701d2012    u  y0frea0103    baafreafrea    z   001z adrun nnnauauaaOne Hundred Years of Axiomatic Set Theoryb[Ressource électronique]fRoland Hinnion and Thierry Libert (eds)aPariscAcademiad2012a110 p.a[Données textuelles]a9782872099740aVersion électronique de l'édition papier : 9782872099740aThis 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.aType de ressource électronique : données textuelles et iconographiquesaRoland Hinnion and Thierry Libert (eds)40uhttps://www.editions-harmattan.fr/catalogue/couv/9782872099740r.jpg2Image de couverture40uhttps://www.harmatheque.com/downloadebook/9782872099740zAccès après authentification2Télécharger au format PDF40uhttps://www.harmatheque.com/readebook/9782872099740zAccès après authentification2Lire ce livre en ligne