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

Cote : [05 NOV 64]

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

8 - Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Dowek, Gilles (1966-....)

Cote : [05 DOW 10]

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

Cote : [05 EXN 59]

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

Cote : [05 KLE 71]