عنوان
پدید آورنده
موضوع
رده
QA 9,.59 .E67
QA
9
,.
59
.
E67
کتابخانه
محل استقرار
:اهدائی
52748
eng
Computability: Computable Functions, Logic, And The Foundations Of Mathematics
\ Richard L. Epstein, Walter A. Carnielli
California
: Wadsworth & Brooks
, 1989
xvii, 297 p.
: ill.
The Wadsworth & Brooks/Cole mathematics series
Index
توابع محاسبهپذیر
منطق ریاضی
Computable functions
Logic, Symbolic and mathematical
Epstein, Richard L., 1947-
اپستاین، ریچارد
Carnielli, Walter Alexandre
کارنیلی، والتر الکساندر
