TY - BOOK AU - Krivine, Jean-Louis TI - Théorie axiomatique des ensembles U1 - 02KR PB - Presses Universitaires de France ER -