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 - Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes - 2e edition
Aigner, Martin (1942-....)   /   Hofmann, Karl Heinrich (1932-....) (Illustrations)   /   Ziegler, Günter M. (1963-....)   /   Puech, Nicolas (Trad.)

Cote : [03 AIG 06]

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

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

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

Cote : [05 LOR 55]

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

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

Cote : [05 KRE 67]

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

Cote : [08 FRE 02A]

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

Cote : [03.5 RIC 63]