8231 - Logique dans l'enseignement des mathématiques, Liège, 29 - 30 mai 1996
Boffa, Maurice (1939-2001) (Organisateur)   /   Adda, J.   /   Bernardi, Christine (1955-....)   /   Lacombe, D.   /   Pétry, André (Organisateur)   /   Salanskis, Jean-Michel (1951-....)

Cote : [05 BOF 98]

8232 - Logique épistémique & philosophie des mathématiques
Gochet, Paul   /   Rouilhan, Philippe De (1943-....)   /   Martin, Thierry (1950-....) (Ed.)   /   Mongin, Philippe (1950-....) (Ed.)

Cote : [05 GOC 07]

8233 - Logique et mathématique
Bayer, Raymond (1898-1959) (Ed.)

Cote : [05 BAY 37-1]

8234 - Logique générale des systèmes et des effets. Introduction à une physique des effets. Fondements de l'intellectique
Ducrocq, Albert (1921-2001)

Cote : [03 DUC 60]

8235 - Logique mathématique
Pabion, Jean-François   /   Guillaume, Marcel (1928-2016) (Préface)

Cote : [05 PAB 76]

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

Cote : [05 KLE 71]

8237 - Logique mathématique : éléments de base, calcul propositionnel, calcul des prédicats
Ponasse, Daniel

Cote : [05 PON 67]

8238 - Logique mathématique appliquée
Freudenthal, Hans (1905-1990)

Cote : [05 FRE 58]

8239 - 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]

8240 - 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]