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

Cote : [05 KRE 67]

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

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

Cote : [05 DOW 10]

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

5 - Mathematical logic
Monk, James Donald (1930-....)

Cote : [05 MON 76]

6 - Vollständige Systeme modaler und intuitionistischer Logik
Schütte, Kurt (1909-1998)

Cote : [05 SCHU 68]