1 - Les contre-exemples en mathématiques
Hauchecorne, Bertrand (1950-....)

Cote : [02 HAU 88A]

2 - Philosophie des mathématiques II / Logique, preuve et pratiques
Gandon, Sébastien (1969-....) (Ed.)   /   Smadja, Ivahn (1967-....) (Ed.)

Cote : [01.1 PHI 17-2]

3 - Abrégé d'histoire des mathématiques. 1700-1900. II : fonctions elliptiques, analyse fonctionnelles, géométrie différentielles, topologie algébrique, probabilités, logique mathématique
Dieudonné, Jean (1906-1992) (Sous La Direction De)   /   Dugac, Pierre (1926-2000) (Collab.)   /    Ellison, William John (1943-....) (Collab.)   /   Ellison, F. (Collab.)   /   Guérindon, Jean (Collab.)

Cote : [01.1 DIE 78-2]

4 - Actes du congrès international des mathématiciens. Volume 1 : Documents. Médailles Fields. Conférences générales (G). Logique (A). Algèbre (B). Tenu à Nice, 1-10 Septembre 1970, France
Congrès international des mathématiciens (Ed.)

Cote : [00 CIM 71-1]

5 - Einführung in die operative Logik und Mathematik
Lorenzen, Paul (1915-1994)

Cote : [05 LOR 55]

6 - Elementary concepts of modern mathematics. Part I : Elementary theory of sets. Par II : Introduction to mathematical logic. Part III : Abstract mathematical systems
Dinkines, Flora

Cote : [03 DIN 64]

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

Cote : [05 KRE 67]

8 - Eléments de mathématiques discrètes
Frécon, Louis (1940-....)

Cote : [08 FRE 02A]

9 - Eléments de mathématiques modernes
Richardson, Moses (1911-1968)   /   Marcillac, Jean De (Trad.)

Cote : [03.5 RIC 63]

10 - Eléments de mathématiques modernes. Livre I : Logique-Ensembles
Jarry, J. M.

Cote : [05 JAR 67-1]