1 - Cours d'arithmétique
Serre, Jean-Pierre (1926-....)

Cote : [30 SER 70]

2 - Bases de données et statistique. 2ème cycle - Ecole d'ingénieurs
Morin, Annie   /   Hebrail, Georges   /   Bosc, Patrick   /   Lebart, Ludovic

Cote : [75 MOR 02]

3 - Proofs and refutations : the logic of mathematical discovery
Lakatos, Imre (1922-1974)   /   Worrall, John (Ed.)   /   Zahar, Elie (1937-....) (Ed.)

Cote : [05 LAK 76]

4 - Vorlesungen über Zahlentheorie
Hasse, Helmut (1898-1979)

Cote : [30 HAS 50]

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

Cote : [05 CUR 50]

6 - Abstract sets and finite ordinals
Keene, Geoffrey Bourton

Cote : [08 KEE 61]

7 - Algebraic K-theory and its geometric applications : conference on algebraic k-theory and its geometric applications, University of Hull, GB, 17th and 21st march, 1969
Moss, Robert Michael Forrester (Ed.)   /   Thomas, Charles Benedict (1938-2005) (Ed.)

Cote : [12 MOS 69]

8 - Algebraic methods of mathematical logic
Rieger, Ladislav (1916-1963)   /   Basch, Michal (Trad.)

Cote : [05 RIE 67]

9 - Algebraic systems
Mal'cev, Anatolii Ivanovich (1909-1967)   /   Seckler, Bernard D. (Trad.)   /   Doohvskoy, A. P. (Trad.)

Cote : [11 MAL 73]

10 - An essay in modal logic
Wright, Georg Henrik Von (1916-2003)

Cote : [05 VON-WRI 51]