Théorie des ensembles et logique mathématique - Des infinis mathématiques aux théorèmes de Gödel

Cet ouvrage traite de deux des domaines les plus celebres des mathematiques :
la theorie des ensembles et la logique, qui ont de tres nombreuses
interactions. De plus, avec le spectaculaire developpement de l'informatique
actuelle, de nombreux resultats de ce livre prennent aussi une importance
pratique, et plus seulement theorique. Presque tout les resultats sont
presentes avec leurs preuves et de nombreux exercices (corriges a la fin du
livre) sont egalement inclus.