عنوان
پدید آورنده
موضوع
رده
QA .D38 9.615 1982
QA
.
D38
9
.
615
1982
کتابخانه
محل استقرار
Computability
Martin Davis
Dover ed
New York
Dover
1982
xxv, 248 p. ; 22 cm
Series: McGraw-Hill series in information processing and computers
Reprint. Originally published: New York : )McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix(
Includes index
Bibliography: p. 237-241
Recursive functions
Unsolvability )Mathematical logic(
Computable functions
QA
9
.
615
.
D38
1982
Davis, Martin, 1928-
Title
English Book
