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

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

Cote : [05 FRE 58]

9 - Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs
Porte, Jean

Cote : [05 POR 65]

10 - Sur les algèbres de Hilbert
Diego, Antonio   /   Iturrioz, Luisa (Trad.)   /   Porte, Jean (Préf.)

Cote : [05 DIE 66]