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

Cote : [65 MAC 78]

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

Cote : [05 HER 61]

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

Cote : [05 TOU 84]

4 - Elementary induction on abstract structures
Moschovakis, Yiannis Nicolas (1940-....)

Cote : [05 MOS 74]

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

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

Cote : [05 KLE 69]

8 - Introduction to computability
Hennie, Frederick C.

Cote : [05 HEN 77]

9 - Konstruktive Analysis
Klaua, Dieter

Cote : [44 KLA 61]

10 - Récursivité
Azra, Jean-Pierre   /   Jaulin, Bernard   /   Lacombe, Daniel (Préface)

Cote : [02 AZR 73]