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

2 - Essays on the foundations of mathematics dedicated to A. A. Fraenkel on his Seventieth Anniversary
Bar-Hillel, Yehoshua (1915-1975) (Ed.)   /   Poznanski, E. I. J.   /   Robinson, S.   /   Rabin, M. O.   /   Fraenkel, Abraham Adolf (1891-1965) (In Honor)

Cote : [05 BAR 61]

3 - Introduction à la logique - 2ème édition revue et augmentée
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (1917-....) (Trad.)

Cote : [05 TAR 69]

4 - Introduction to logic and to the methodology of deductive sciences
Tarski, Alfred (1901-1983)   /   Tremblay, Jacques (Trad.)

Cote : [05 TAR 56]

5 - Le nombre langage de la science
Dantzig, Tobias (1884-1956)   /   Bernelle, Michel (Préface)   /   Cros, Richard (Trad.)

Cote : [02.1 DAN 74]

6 - Machines de Turing et automates cellulaires : du traité gravé au très animé
Corge, Charles   /   Delahaye, Jean-Paul (1952-....) (Préface)

Cote : [77.9 COR 08]

7 - Mathematical logic and foundations of set theory : Proceedings of an International Colloquium held under under the auspices of the Israël academy of sciences and humanities, Jérusalem, 11-14 November 1968
Bar-Hillel, Yehoshua (1915-1975) (Ed.)

Cote : [05 BAR 70]

8 - Mathematical thought : an introduction to the philosophy of mathematics
Beth, Evert Willem (1908-1964)   /   Glover, Horace S. (Trad.)

Cote : [05 BET 65]

9 - Naive set theory
Halmos, Paul Richard (1916-2006)

Cote : [08 HAL 60]

10 - Recursion theory
Nerode, Anil (1932-....) (Ed.)   /   Shore, Richard A. (1946-....) (Ed.)

Cote : [05 NER 84]