1. Computability and logic
پدیدآورنده : Boolos, George
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
رده :
QA
9
.
59
.
B66
1989
2. Computability and logic
پدیدآورنده : Boolos, George
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
248
.
5
.
B66
3. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
9
.
59
.
B66
1989
4. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
.
B66
9
.
59
1980