Proofs and algorithms : an introduction to logic and computability [ Livre] / Gilles, Dowek
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : London : Springer, 2011Description : 1 vol. (XII-155 p.) ; 24 cmISBN: 9780857291202.Collection: Undergraduate Topics in Computer ScienceClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Théorie de la démonstration | Fonctions calculablesCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 DOW (Browse shelf) | Available | F 4 1 Logique mathématique | 028712 |