University Sétif 1 FERHAT ABBAS Faculty of Sciences
![Document: texte imprimé Document: texte imprimé](./images/icon_a_16x16.gif)
Les Démonstrations et les algorithmes :Introduction à la logique et à la calculabilité [texte imprimé] / DOWEK,Gilles . - Palaiseau : École polytechnique, 2010 . - 1 vol. (193 p.) ; 24 cm. ISBN : 978-2-7302-1569-5 Langues : Français (fre) Langues originales : Français (fre)
| ![]() |
Exemplaires (6)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
Fs/6906 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6907 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6908 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6909 | Fs/6906-6909 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6970 | Fs/6970-6971 | livre | Bibliothéque des sciences | Français | Disponible Disponible |
Fs/6971 | Fs/6970-6971 | livre | Bibliothéque des sciences | Français | Disponible Disponible |