1 - Raisonnements divins: quelques démonstrations mathématiques particulièrement élégantes - 3e edition
Aigner, Martin (1942-....)   /   Ziegler, Günter M. (1963-....)

Cote : [03 AIG 17]

2 - A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers
De Bouvère, Karel Louis

Cote : [02 BOU 59]

3 - Etudes cartésiennes. IIème partie
Bayer, Raymond (1898-1959) (Ed.)

Cote : [05 BAY 37-2]

4 - Fondements des mathématiques. 1
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)   /   Gaillard, François (1925-....) (Trad.)   /   Guillaume, Marcel (1928-2016) (Trad.)

Cote : [77.9 HIL 01-1]

5 - Fondements des mathématiques. 2
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)   /   Gaillard, François (1925-....) (Trad.)   /   Guillaume, Marcel (1928-2016) (Trad.)

Cote : [77.9 HIL 01-2]

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

Cote : [05 BET 59]

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

Cote : [05 BET 65]

8 - Grundlagen der Mathematik. Ester Band
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)

Cote : [05 HIL 1934]

9 - Grundlagen der Mathematik. Zweiter Band
Hilbert, David (1862-1943)   /   Bernays, Paul (1888-1977)

Cote : [05 HIL 1939]

10 - Handbook of paraconsistency
Béziau, Jean-Yves (Ed.)   /   Gabbay, Dov M. (1945-....) (Ed.)   /   Carnielli, Walter Alexandre (1952-....) (Ed.)

Cote : [05 BEZ 07]