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

Cote : [05 CUR 50]

1982 - A theory of interpolation of normed spaces
Peetre, Jaak (1935-....)

Cote : [42 PEE 68]

1983 - A theory of semigroup valued measures
Sion, Maurice

Cote : [44 SIO 73]

1984 - A theory of sets
Morse, Anthony Perry (1911-1984)   /   McMinn, Trevor J. (Préface)

Cote : [08 MOR 65]

1985 - A tool kit for groupoid C*-algebras
Williams, Dana P. (1952-....)

Cote : [25 WIL 19]

1986 - A topological Chern-Weil theory
Phillips, Anthony Valiant (1938-....)   /   Stone, David Aurel (1945-....)

Cote : [57 PHI 93]

1987 - A topological introduction to nonlinear analysis
Brown, Robert F. (1935-....)

Cote : [50 BRO 93]

1988 - A torsion Jacquet-Langlands correspondence
Calegari, Frank   /   Venkatesh, Akshay (1981-....)

Cote : [AST 409]

1989 - A tour of representation theory
Lorenz, Martin (1951-....)

Cote : [16 LOR 18]

1990 - A treatise on probability
Keynes, John Maynard (1883-1946)

Cote : [70 KEY 57]