University Sétif 1 FERHAT ABBAS Faculty of Sciences
Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / Daniel Lascar
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 |