RecordNumber
:
46091
LC Class
:
QA
LC Number
:
9.615
LC CutterNumber
:
.D38
LC Date
:
1982
Author
:
Davis, Martin, 1928-
Title
:
Computability & unsolvability
Author Statement
:
Martin Davis
Edition
:
Dover ed
Publication
:
Dover
Publication Year
:
1982
Collation
:
xxv, 248 p. ; 22 cm
Notes
:
Includes index
Subject
:
Recursive functions , Unsolvability (Mathematical logic) , Computable functions
Index
:
Bibliography: p. 237-241
Link To Document :
https://library.iut.ac.ir/dL/search/default.aspx?Term=46091&Field=0&DTC=100
All Rights Reserved To Payam Mashregh Company
