1 - Basic set theory
Levy, Azriel

Cote : [08 LEV 79]

2 - General recursion theory : an axiomatic approach
Fenstad, Jens Erik (1935-....)

Cote : [05 FEN 80]

3 - Model-theoretic logics
Barwise, Jon (1942-2000) (Ed.)   /   Feferman, Solomon (1928-....) (Ed.)

Cote : [05 BAR 85]

4 - Recursion-theoretic hierarchies
Hinman, Peter G.

Cote : [05 HIN 78]

5 - The higher infinite : large cardinals in set theory from their beginnings
Kanamori, Akihiro (1948-....)

Cote : [05 KAN 94]