header
cover

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

Cote : [05 REI 1947]

cover

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

Cote : [05 HIL 59]

cover

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

Cote : [05 TAR 69]

cover

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

Cote : [05 CHU 56]

cover

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

Cote : [05 KLE 71]

cover

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

cover

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

cover

9 - Symbolic logic : an introduction
Fitch, Frederic Brenton

Cote : [05 FIT 52]

cover

10 - The two-valued iterative systems of mathematical logic
Post, Emil Leon (1897-1954)

Cote : [05 POS 1941]