8241 - Logique combinatoire et séquentielle. Maîtrise d'E.E.A. C3- automatique
Lagasse, Jean (1924-....)   /   Erceau, Jean (Collab.)

Cote : [05 LAG 69]

8242 - Logique contemporaine et formalisation
Martin, Roger (1920-1979)

Cote : [05 MAR 64]

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

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

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

Cote : [05 BAY 37-1]

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

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

Cote : [05 PAB 76]

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

Cote : [05 KLE 71]

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

Cote : [05 PON 67]

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

Cote : [05 FRE 58]