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

8242 - Logique moderne. Fascicule 1 : logique des propositions et des prédicats, déduction naturelle
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 69-1]

8243 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 71-2]

8244 - Logique moderne. Fascicule III : implications-modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Lesniewski
Grize, Jean-Blaise (1922-2013)

Cote : [05 GRI 73-3]

8245 - Logique sans peine
Carroll, Lewis (1832-1898)   /   Gattégno, Jean (1935-1994) (Trad.)   /   Coumet, Ernest (Trad.)   /   Ernst, Max (1891-1976)(Illustrations)

Cote : [02 CAR 66]

8246 - Logique, sémantique, métamathématique. Tome premier : 1923-1944
Tarski, Alfred (1901-1983)   /   Granger, Gilles-Gaston (1920-....) (Trad.)

Cote : [05 TAR 72]

8247 - Logique. II
Sesmat, Augustin (1885-1957)

Cote : [05 SES 51]

8248 - Logistic regression using the SAS System : theory and applications
Allison, Paul David

Cote : [72 ALL 99]

8249 - Lokal präsentierbare Kategorien
Gabriel, Peter (1933-....)   /   Ulmer, Friedrich

Cote : [12 GAB 71]

8250 - Loop groups
Pressley, Andrew   /   Segal, Graeme Bryce (1941-....)

Cote : [25 PRE 86]