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 à la logique mathématique
Novikov, Petr Sergeevich (1901-1975)   /   Sarthou, Charles (Trad.)

Cote : [05 NOV 64]

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

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

Cote : [05 CHU 56]

7 - La logique moderne - Cinquième édition
Chauvineau, Jean

Cote : [05 CHA 69]

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

Cote : [05 KLE 71]

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

Cote : [05 FRE 58]

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