عنوان
پدید آورنده
موضوع
رده
QA,9.59,.B66,2002
QA
,
9
.
59
,.
B66
,
2002
کتابخانه
محل استقرار
0521809754
IR
ebook38123
انگلیسی
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
Includes bibliographical references (p. 348) and index.
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
511
.
3
QA
,
9
.
59
,.
B66
,
2002
Boolos, George
Burgess, John P.� 1948
Jeffrey, Richard C
ایران
511.3
9780521809757.pdf
0
old catalog
e
BL
1
a
Y
