Ageron, Pierre <br/><br/>
Logique, ensembles, catégories : le point de vue constructif 
Pierre Ageron 
 - Paris  Ellipses  2000