1. Computability: computable functions, logic, and the foundations of mathematics
پدیدآورنده: Epstein, Richard L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
رده :
QA
9
.
59
.
E67
2000

