عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook34133
eng
Computability and logic
Cambridge ;New York :
: Cambridge University Press,
, 2002.
Print
Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
; Jeffrey, Richard C. ; -Boolos, George. ; Burgess, John P., ; 1948
old catalog
