Comprendre les méthodes formelles
panorama et outils logiques
Livre Ecrit par: Monin, Jean François ; Huet, G. ; Publié en: 1996
Edition:
Paris:
Masson
Masson
Langue:
Français
Collation:
306 p. ill.
;24 cm.
ISBN: 2225853045
Index décimal
511.322 .Théorie des ensembles (hypothèse du continu, nombres cardinaux, nombres transfinis, théorie axiomatique des ensembles, théorie combinatoire des ensembles)
Note: Bibliogr. p.281-292