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

Cote : [30 SER 70]

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

Cote : [30 HAS 50]

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

4 - Eine Termlogik mit Auswahloperator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]

5 - Grundlagen der Mathematik. Zweiter Band
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)

Cote : [05 HIL 1939]

6 - Riemannian geometry
Eisenhart, Luther Pfahler (1876-1965)

Cote : [67 EIS 1949]

7 - Term logic with choice operator
Hermes, Hans (1912-2003)

Cote : [05 HER 65]

8 - Une conjoncture de Lusztig pour les groupes classiques
Waldspurger, Jean-Loup (1953-....)

Cote : [20 WAL 04]