1. Computability and logic
پدیدآورنده : Boolos, George
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
248
.
5
.
B66
2. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
.
B66
9
.
59
1980
3. Computability and logic
پدیدآورنده : Boolos, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
رده :
QA
9
.
59
.
B66
1989
4. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
59
.
B66
1989
5. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
کتابخانه: کتابخانه پردیس هنرهای زیبا دانشگاه تهران (طهران)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
