header
cover

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

Cote : [05 CUR 50]

cover

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

Cote : [08 MOR 65]

cover

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

Cote : [25 WIL 19]

cover

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

Cote : [57 PHI 93]

cover

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

Cote : [50 BRO 93]

cover

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

Cote : [AST 409]