عنوان
پدید آورنده
موضوع
رده
QA 9.65 .U53 2004
QA
9
.
65
.
U53
2004
کتابخانه
محل استقرار
English
The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Mineola, NY
Dover Publication
2004
413 p.
Originally published: Hewlett, N.Y. : Raven Press, 1965.
Includes bibliographical references and index.
edited by Martin Davis
1
، Gedel's theorem
، Unsolvability )Mathematical logic(
، Recursive functions
، Turing machines
، Computable functions
511
.
3
QA
9
.
65
.
U53
2004
TI
AU Davis, Martin 1928-
