عنوان
پدید آورنده
موضوع
رده
QA 9.615 .D38 1982
QA
9
.
615
.
D38
1982
کتابخانه
محل استقرار
Computability and unsolvability
New York
Dover
1982
248p
Reprint. Originally published: New York: McGraw-Hill, 1958, )McGraw-Hill series in information processing and computers(
Bibliography: p.234-241
ISBN: 0486614719
Martin Davis
1
، Recursive functions
، Unsolvability )Mathematical logic(
، Computable functions
QA
9
.
615
.
D38
1982
Davis, Martin, 8291-
AU
TI
