header
cover

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

Cote : [LNM 538]

cover

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]

cover

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

Cote : [65 MAC 78]

cover

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

Cote : [05 TOU 84]

cover

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]

cover

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]

cover

9 - Konstruktive Analysis
Klaua, Dieter

Cote : [44 KLA 61]