0521809754
0521007585
IR
EN-52903
انگلیسی
IR
Computability and logic
[Book]
4th ed. /George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Cambridge ; New York
: Cambridge University Press,
, 2002.
xi, 356 p. ill. 27 cm.
Electronic
ng
Includes bibliographical references (p. 348) and index.
Computable functions
Recursive functions
Logic, Symbolic and mathematical
E-BOOK
Boolos, George.
Burgess, John P.,1948-
Jeffrey, Richard C
ایران
0521809754.pdf
عادی
عادی
0521809754.pdf
0
متن
old catalog
e
BL
1
a
Y
