1 - Complex analytic geometry
Fischer, Gerd (1939-....)

Cote : [LNM 538]

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

3 - An introduction to the general theory of algorithms
Machtey, Michael   /   Young, Paul (1936-....)

Cote : [65 MAC 78]

4 - Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einfuhrung in dieTheorie der rekursiven Funktionen
Hermes, Hans (1912-2003)

Cote : [05 HER 61]

5 - Computability
Tourlakis, George J. (1946-....)

Cote : [05 TOU 84]

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

7 - Formal systems and recursive functions : proceedings of the eighth logic colloquium Oxford, July 1963
Crossley, John Newsome (1937-....) (Ed.)   /   Dummett, Michael Anthony Eardley (1925-2011) (Ed.)

Cote : [05 CRO 65]

8 - Formalized recursive functionals and formalized realizability
Kleene, Stephen Cole (1909-1994)

Cote : [05 KLE 69]

9 - Langage PASCAL et logique du premier ordre. Tome 1 : Programmation en Pascal, prédicats, systèmes formels, fonctions récursives
Margenstern, Maurice

Cote : [77 MAR 89-1]

10 - Leçons sur les fonctions calculables
Ouspenski, Vladimir Andreevič (1930-....)   /   Chauvin, André (1914-2010 (Trad.)

Cote : [05 OUS 66]