1 - Langage PASCAL et logique du premier ordre. Tome 2 : Récursivité et dérécursification, preuves et complexité d'algorithmes
Margenstern, Maurice

Cote : [77 MAR 90-2]

2 - Büchi's monadic second order successor arithmetic. Decidable theories I
Siefkes, Dirk   /   Müller, Gert Heinz (1923-....) (Ed.)

Cote : [05 SIE 70]

3 - Cours de logique mathématique. Tome 3 : Récursivité et constructibilité
Fraïssé, Roland (1920-2008)

Cote : [05 FRA 76-3]

4 - Decidability and boolean representations. Part I : decidable varieties with modular congruence lattices. Part II : boolean representable varieties
Burris, Stanley   /   McKenzie, Ralph (1941-....)

Cote : [05 BUR 81]

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

Cote : [77.9 HOP 79]

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

Cote : [05 KLE 71]

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

Cote : [05 FEN 70]

8 - Solvable cases of the decision problem
Ackermann, Wilhelm (1896-1962)

Cote : [05 ACK 54]

9 - The undecidability of the domino problem
Berger, William

Cote : [05 BER 66]