University Sétif 1 FERHAT ABBAS Faculty of Sciences
![Document: texte imprimé Document: texte imprimé](./images/icon_a_16x16.gif)
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : Cours et exercices corrigés [texte imprimé] / Daniel Lascar (1942-....), ; Jean-Louis Krivine, . - 2021 . - 1 vol. (385 p.) : couv. ill. en coul. ; 24 cm. ISBN : 978-2-10-082514-1 Langues : Français (fre)
| ![]() |
Exemplaires (3)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/24741 | Fs/24741-24743 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/24742 | Fs/24741-24743 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/24743 | Fs/24741-24743 | Livre | Bibliothéque des sciences | Français | Disponible Disponible |