1 - Algorithmes et machines à calculer
Trahtenbrot, Boris Avramovich   /   Chauvin, André (1914-2010 (Trad.)

Cote : [05 TRA 63]

2 - Algorithmique et cryptographie
Robin, Guy

Cote : [77.9 ROB 91]

3 - Automata studies
Shannon, Claude Elwood (1916-2001) (Ed.)   /   McCarthy, John (1927-....) (Ed.)

Cote : [77.9 SHA 56]

4 - Computability and decidability : an introduction for students of computer science
Loeckx, Jacques (1931-....)

Cote : [05 LOE 72]

5 - Introduction to automata theory languages, and computation
Hopcroft, John E. (1939-....)   /   Ullman, Jeffey David (1942-....)

Cote : [77.9 HOP 79]

6 - Introduction to computability
Hennie, Frederick C.

Cote : [05 HEN 77]

7 - Logique mathématique
Kleene, Stephen Cole (1909-1994)   /   Largeault, Jean (1931?-1995) (Trad.)

Cote : [05 KLE 71]

8 - Logique mathematique, cours et exercices. II : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - 2ème tirage corrigé
Cori, René   /   Lascar, Daniel (1942-....)   /   Krivine, Jean-Louis (1939-....) (Préface)

Cote : [05 COR 93-2]

9 - Machines de Turing et automates cellulaires : du traité gravé au très animé
Corge, Charles   /   Delahaye, Jean-Paul (1952-....) (Préface)

Cote : [77.9 COR 08]

10 - Proceedings of the Second Scandinavian Logic Symposium
Fenstad, Jens Erik (1935-....) (Ed.)

Cote : [05 FEN 70]