Logique mathematique, tome 1_ Calcul propositionnel, algebre -- Cori, René, Lascar, Daniel -- Sciences Sup, Paris, 2003- -- Dunod -- isbn13 9782100054527 -- ea58074496e0ebe30690af9ab4940cb6 -- Ann

Inconnu