عنوان
پدید آورنده
موضوع
رده
511 .3 B724c
511
.
3
B724c
کتابخانه
محل استقرار
206183
انگلیسی
IR
Computability and logic
[book]
/ George Boolos, Richard Jeffrey
Cambridge (Eng.)
: University Press
، [<1974>]
x, 262 p.
: ill
Recursive functions
Logic, symbolic and mathematical
511
.
3
B724c
QA
248
.
5
.
B66
Jeffrey, Richard C.
Boolos, George
creator
author
ایران
QA 248 .5 .B66
Previous cataloging
BL
1
Y
