University Sétif 1 FERHAT ABBAS Faculty of Sciences
Logique mathématique 1 / René Cori
Logique mathématique 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, 2003 . - 1 vol. (385 p.,) : ill. ; 24 cm. - (Sciences sup) . ISBN : 978-2-10-005452-7 Bibliogr. p. 361-363 Langues : Français (fre)
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/19563 | Fs/19563 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |