1 - Algèbre et analyse : cours de mathématiques de première année - 2ème édition revue et corrigée
Balac, Stéphane   /   Vray, Didier (Préf.)   /   Sturm, Frédéric   /   Friboulet, Denis (Préf.)

Cote : [03.5 BAL 09]

2 - Traitement de données complexes et commande en logique floue
Bouchon-Meunier, Bernardette (1948-....)   /   Marsala, Christophe

Cote : [05 BOU 03]

3 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes
Margenstern, Maurice

Cote : [77 MAR 90-2]

4 - Lectures on analysis. Volume II : Representation theory
Choquet, Gustave (1915-2006)   /   Marsden, Jerrold Eldon (1942-2010) (Ed.)   /   Lance, Timothy L. (Ed.)   /   Gelbart, Stephen S. (1946-....) (Ed.)

Cote : [40 CHO 69-2]

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

Cote : [02 HAU 88A]

6 - Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-2]

7 - Methods of modern mathematical physics. I, Functional analysis - Revised and enlarged edition
Reed, Michael (1942-....)   /   Simon, Barry (1946-....)

Cote : [42 REE 80-1]

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

Cote : [01.1 PHI 17-2]

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

10 - A theory of formal deducibility
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 50]