The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions / edited by Martin Davis,...

Date :

Editeur / Publisher : Mineola, NY : Dover Publications , 2004

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-486-43228-9

ISBN : 978-0-486-43228-1

Catalogue Worldcat

Gödel, Théorème de

Métamathématique

Décidabilité (logique mathématique)

Classification Dewey : 511.3

Davis, Martin (1928-....) (Editeur scientifique / editor)