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 - A theory of formal deducibility
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 50]

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