عنوان
پدید آورنده
موضوع
رده
QA 248.5 .B66
QA
248
.
5
.
B66
کتابخانه
محل استقرار
31763w
English
Boolos, George
Computability and logic
Cambridge )Eng.(
University Press
)1974(
x, 262 p. illus. 24 cm
)by( George Boolos )and( Richard Jeffrey
، Computable functions
، Recursive functions
، Logic, Symbolic and mathematical
، Computable functions
QA
248
.
5
.
B66
AU
AU C drahciR ,yerffeJ joint auth.
TI
تموجود نیس
