عنوان
پدید آورنده
موضوع
رده
QA 9 .615 .D38 1982
QA
9
.
615
.
D38
1982
کتابخانه
محل استقرار
113243
تابستان۶۷
English
)20(
Davis, Martin
1928-
Computability & unsolvability
New York
Dover
1982
xxv, 248 p. ; 22 cm
Reprint. Originally published: New York : )McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix(
Includes bibliographical references and index
Dover ed
، Recursive functions
، Unsolvability )Mathematical logic(
، Computable functions
QA
9
.
615
.
D38
1982
AU
Martin Davis
TI
SE McGraw-Hill series in information processing and computers
02
