The undecidable [ Livre] : basic papers on undecidable propositions, unsolvable problems, and computable functions / Martin, Davis
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Mineola, NY : Dover Publications, 2004Description : 1 vol. (413 p.) ; 24 cm.ISBN: 9780486432281.Sujet - Nom commun: Gödel, Théorème de | Métamathématique | Décidabilité (logique mathématique)Current location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 DAV (Browse shelf) | Available | F 4 1 Logique mathématique | 023402 |