1 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

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

3 - Deformation quantization modules
Kashiwara, Masaki (1947-....)   /   Schapira, Pierre (1943-....)

Cote : [67 KAS 12]

4 - Eléments de logique mathématique : théorie des modèles
Kreisel, Georg (1923-2015)   /   Krivine, Jean-Louis

Cote : [05 KRE 67]

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

Cote : [05 HIL 59]

6 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives
Margenstern, Maurice

Cote : [77 MAR 89-1]

7 - Logic in elementary mathematics
Exner, Robert M.   /   Rosskopf, Myron Frederick

Cote : [05 EXN 59]

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

Cote : [05 KLE 71]

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

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