1 - Computer programming and formal systems
Braffort, Paul (1923-....) (Ed.)   /   Hirschberg, David (Ed.)

Cote : [05 BRA 63]

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

Cote : [77.9 LEW 80]

3 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic
Beth, Evert Willem (1908-1964)

Cote : [05 BET 62]

4 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]

5 - La synthèse des machines logiques et son automatisation
Florine, Jean (1934-....)

Cote : [77.7 FLO 64]

6 - Logique automatique informatique
Moisil, Gr. C. (1906-1973) (Préface)   /   Bisca, O.   /   Boicescu, V.   /   Cazanescu, V. E.

Cote : [77.9 MOI 71]

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]