عنوان
پدید آورنده
موضوع
رده
QA9.59 .B66 2002
QA9
.
59
.
B66
2002
کتابخانه
محل استقرار
0521809754
0521007585
IR
EB11607
انگلیسی
IR
Computability and logic
[Electronic Resource]
4th ed. /George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Cambridge ; New York
: Cambridge University Press,
, 2002.
xi, 356 p. ill. 27 cm.
e
ng
Includes bibliographical references (p. 348) and index.
Computable functions
Recursive functions
Logic, Symbolic and mathematical
511
.
3
QA9
.
59
.
B66
2002
Boolos, George.
Burgess, John P.,1948-
Jeffrey, Richard C
ایران
0521809754.pdf
محرمانه
محرمانه
0521809754.pdf
0
متن
old catalog
e
BL
1
a
Y
