عنوان
پدید آورنده
موضوع
رده
QA 9 .59 .B66 1989
QA
9
.
59
.
B66
1989
کتابخانه
محل استقرار
125778
131274
بهار۰۸
English
)24(
Boolos, George
Computability and logic
Cambridge
Cambridge University Press
1989
x, 304 p.: ill.; 24 cm
Includes bibliographical references and index
3rd ed
، Computable functions
، Recursive functions
، Logic, Symbolic and Mathematical
QA
9
.
59
.
B66
1989
AU
George S. Boolos, Richard C. Jeffrey
AU .C drahciR ,yerffeJ
TI
165
165
