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 - Initiation à la logique
Dubarle, Dominique (1907-1987)

Cote : [05 DUB 57]

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

Cote : [05 TAR 60]

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

Cote : [05 TAR 69]

8 - 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]

9 - Logique mathématique appliquée
Freudenthal, Hans (1905-1990)

Cote : [05 FRE 58]

10 - Modal logics
Feys, Robert (1889-1961)   /   Dopp, Joseph (1901-1978) (Ed.)

Cote : [05 FEY 65]