header
cover

1 - 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

2 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé
Cori, René   /   Lascar, Daniel (1942-....)   /   Krivine, Jean-Louis (1939-....) (Préface)

Cote : [05 COR 93-1]

cover

4 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats
Cori, René   /   Krivine, Jean-Louis (1939-....) (Préface)   /   Lascar, Daniel (1942-....)

Cote : [05 COR 03-1]

cover

5 - Séminaire général de logique 1982-83
Delon, Françoise (Dir.)   /   Sabbagh, Gabriel (1942-....) (Dir.)   /   Lascar, Daniel (1942-....) (Dir.)   /   Louveau, Alain (Dir.)

Cote : [05 DEL 83-19]

cover

6 - Séminaire général de logique 1983-1984
Delon, Françoise (Dir.)   /   Lascar, Daniel (1942-....) (Dir.)   /   Parigot, Michel (Dir.)

Cote : [05 DEL 88-27]