header
cover

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

Cote : [05 TOU 84]

cover

3 - Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II
Richter, Michael M. (1938-....) (Ed.)   /   Börger, Egon (1946-....) (Ed.)   /   Oberschelp, Walter (1933-....) (Ed.)   /   Schinzel, B. (Ed.)   /   Thomas, Wolfgang (1947-....) (Ed.)

Cote : [05 RIC 84-2]

cover

5 - Elements of the theory of computation
Lewis, Harry R.   /   Papadimitriou, Christos H. (1949-....)

Cote : [77.9 LEW 80]

cover

6 - Konstruktive Analysis
Klaua, Dieter

Cote : [44 KLA 61]

cover

7 - Langages formels. Calculabilité et complexité : cours et exercices corrigés
Carton, Olivier   /   Perrin, Dominique (1946-....) (Préface)

Cote : [03.5 CAR 14]

cover

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

Cote : [05 OUS 66]