The undecidable [ Livre] : basic papers on undecidable propositions, unsolvable problems, and computable functions / Martin, Davis

Auteur principal: Davis, MartinLangue: 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

Powered by Koha