1 - Foundations of mathematics : A study in the philosophy of science
Beth, Evert Willem (1908-1964)

Cote : [05 BET 59]

2 - Foundations of mathematics : A study in the philosophy of science - Second revised edition
Beth, Evert Willem (1908-1964)

Cote : [05 BET 65]

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

Cote : [05 HOF 80]

4 - Le raisonnement en mathématiques et en sciences expérimentales, Paris 26 septembre - 1er octobre 1955
Chatelet, Albert (Org.)   /   Centre National de la Recherche Scientifique (Ed.)

Cote : [05 CHA 58]

5 - Les fondements de la géométrie. Edition critique avec introduction et compléments préparée par Paul Rossier
Hilbert, David (1862-1943)   /   Rossier, Paul (Trad.)   /   Bernays, Paul (1888-1977)

Cote : [60 HIL 71]

6 - 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]

7 - Logic, semantics, metamathematics, papers from 1923 to 1938
Tarski, Alfred (1901-1983)   /   Woodger, Joseph Henry (1894-1981) (Trad.)

Cote : [05 TAR 56]

8 - Logique, sémantique, métamathématique. Tome premier : 1923-1944
Tarski, Alfred (1901-1983)   /   Granger, Gilles-Gaston (1920-....) (Trad.)

Cote : [05 TAR 72]

9 - On the metamathematics of algebra
Robinson, Abraham (1918-1974)

Cote : [05 ROB 51]

10 - Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs
Porte, Jean

Cote : [05 POR 65]