1 - Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Heyting, Arend (1898-1980) (Ed.)

Cote : [05 HEY 57]

2 - Gödel, Escher, Bach : an eternal golden braid
Hofstadter, Douglas R. (1945-....)

Cote : [05 HOF 80]

3 - Gödel, Escher, Bach : an eternal golden braid - 20th anniversary ed.
Hofstadter, Douglas R. (1945-....)

Cote : [02 HOF 99]

4 - Introduction to metamathematics
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 52]

5 - Introduction to model theory and to the metamathematics of algebra
Robinson, Abraham (1918-1974)

Cote : [05 ROB 63]

6 - The mathematics of metamathematics - Second edition revised
Rasiowa, Helena (1917-1994)   /   Sikorski, Roman (1920-1983)

Cote : [05 RAS 68]