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