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