1 - Elements of symbolic logic
Reichenbach, Hans (1891-1953)

Cote : [05 REI 1947]

2 - Grundzüge der theorischen Logik
Hilbert, David (1862-1943)   /   Ackermann, Wilhelm (1896-1962)

Cote : [05 HIL 59]

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

Cote : [05 TAR 69]

4 - Introduction aux mathématiques modernes : ensembles, opérations sur les ensembles, propositions, calculs des propositions, axiomatique, le groupe commutatif
Monjallon, Albert

Cote : [03.5 MON 60]

5 - Introduction to mathematical logic. Volume 1
Church, Alonzo (1903-1995)

Cote : [05 CHU 56]

6 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

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

Cote : [05 FRE 58]

8 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé
Cori, René   /   Lascar, Daniel (1942-....)   /   Krivine, Jean-Louis (1939-....) (Préface)

Cote : [05 COR 93-1]

9 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-1]

10 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 71-2]