1 - Beginning model theory : the completeness theorem and some consequences
Bridge, Jane

Cote : [02 BRI 77]

2 - Boolean-valued models and independence proofs in set theory
Bell, John Lane (1945-....)

Cote : [05 BEL 77]

3 - Choice sequences : a chapter of intuitionistic mathematics
Troelstra, Anne Sjerp

Cote : [05 TRO 77]

4 - Recursive aspects of descriptive set theory
Mansfield, Richard (1941-....)   /   Weitkamp, Galen (1951-....)   /   Simpson, Stephen (Collab.)

Cote : [05 MAN 85]

5 - The Boole-De Morgan correspondence, 1842-1864
Smith, Gordon C. (Ed.)   /   Boole, George (1815-1864)   /   De Morgan, Augustus (1806-1871)

Cote : [05 SMI 82]