1 - Axiomatic set theory : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Axiomatic Set Theory, held at the University of Colorado, Boulder, June 19-25, 1983
Baumgartner, James E. (1943-....) (Ed.)   /   Shelah, Saharon (1945-....) (Ed.)   /   Martin, Donald A. (Ed.) (1940-....)

Cote : [05 BAU 84]

2 - Conference in mathematical logic. London'70 : proceedings of a conference, Bedford College, London, 24-28 August 1970
Hodges, Wilfrid (1941-....)(Ed.)

Cote : [05 HOD 72]

3 - Les limitations internes des formalismes : Etude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
Ladrière, Jean (1921-2007)

Cote : [05 LAD 57]

4 - Model theory and algebraic geometry
Bouscaren, Élisabeth (1956-....) (Ed.)

Cote : [LNM 1696]