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

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

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

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

Cote : [05 GRI 69-1]

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

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

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

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

Cote : [05 TAR 72]

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

Cote : [05 SES 51]

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

Cote : [72 ALL 99]