1 - Cours de logique mathématique. Tome 1 : Relation et formule logique - 2ème édition revue et modifiée
Fraïssé, Roland (1920-2008)

Cote : [05 FRA 71-1]

2 - Cours de logique mathématique. Tome 1 : Relation, formule logique compacité, complétude
Fraïssé, Roland (1920-2008)

Cote : [05 FRA 67-1]

3 - Cours de logique mathématique. Tome 2 : Théorie des modèles - 2ème édition revue et modifiée
Fraïssé, Roland (1920-2008)

Cote : [05 FRA 72-2]

4 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité
Fraïssé, Roland (1920-2008)

Cote : [05 FRA 76-3]

5 - Introduction à la logique
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (Trad.)

Cote : [05 TAR 60]

6 - Introduction à la logique - 2ème édition
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (Trad.)

Cote : [05 TAR 69]

7 - Introduction à la logique - 2ème édition revue et augmentée
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (1917-....) (Trad.)

Cote : [05 TAR 69]

8 - La Philosophie des mathématiques de Henri Poincaré
Mooij, J. J. A.

Cote : [02.1 MOO 66]

9 - Les limitations internes des formalismes : Etude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Ladrière, Jean (1921-2007)

Cote : [05 LAD 57]

10 - Les systèmes axiomatiques de la théorie des ensembles
Wang, Hao (1921-....)   /   McNaughton, Robert

Cote : [08 WAN 53]