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]