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