Proofs and algorithms : an introduction to logic and computability [ Livre] / Gilles, Dowek

Auteur principal: Dowek, Gilles, 1966-....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 calculables
Current 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

Powered by Koha