1 - Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-2]

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 - Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in dieTheorie der rekursiven Funktionen
Hermes, Hans (1912-2003)

Cote : [05 HER 61]

4 - Decidalbes theories. II : the monadic second order theory of all countable ordinals
Büchi, J. Richard (1924-1984)   /   Siefkes, Dirk (Ed.)   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 BUC 73]

5 - Enumerability decidability computability : an introduction to the theory of recursive functions
Hermes, Hans (1912-2003)   /   Herman, G. T. (Trad.)   /   Plassmann, O. (Trad.)

Cote : [05 HER 65]

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 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

8 - On formally undecidable propositions of principia mathematica and related systems
Gödel, Kurt (1906-1978)   /   Meltzer, Bernard (1916-1998) (Trad.)   /   Braithwaite, Richard Bevan (1900-1990) (Préface)

Cote : [05 GOD 62]

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

Cote : [05 NER 84]

10 - Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Mostowski, Andrzej (1913-1975)

Cote : [05 MOS 57]