1 - A survey of mathematical logic
Wang, Hao (1921-....)

Cote : [02 WAN 63]

2 - Abstract set theory - 2nd completely revised edition
Fraenkel, Abraham Adolf (1891-1965)

Cote : [08 FRA 61]

3 - An introduction to independence for analysts
Dales, Harold Garth (1944-....)   /   Woodin, W. H.

Cote : [08 DAL 87]

4 - Analyse non standard
Diener, Francine   /   Reed, Georges (1920-1993)

Cote : [40 DIE 89]

5 - Axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958
Henkin, Leon Albert (1921-2006) (Ed.)   /   Suppes, Patrick (1922-2014) (Ed.)   /   Tarski, Alfred (1901-1983) (Ed.)

Cote : [05 HEN 59]

6 - Axiomatic set theory
Takeuti, Gaisi (1926-....)   /   Zaring, Wilson M. (1926-....)

Cote : [05 TAK 73]

7 - Axiomatic set theory
Suppes, Patrick (1922-2014) (Ed.)

Cote : [05 SUP 60]

8 - Axiomatic set theory
Scott, Dana S. (Ed.)

Cote : [05 SCO 71-1]

9 - Axiomatic set theory
Jech, Thomas J. (Ed.)

Cote : [05 JEC 74-2]

10 - Axiomatic set theory
Mac Lane, Saunders (1909-2005)   /   Schacher, Murray (Collab.)   /   Shaker, Richard (Collab.)

Cote : [05 MAC-LAN 64]