Projet:Mathématiques/Bibliographie sur la logique

Théorie des ensembles

modifier
Jean-Louis Krivine, Théorie des ensembles [détail des éditions]
Paul Halmos, Introduction à la théorie des ensembles [détail des éditions]

Théorie des modèles

modifier
Daniel Lascar, La théorie des modèles en peu de maux [détail des éditions]