1. Computability : computable functions, logic, and the foundations of mathematics
المؤلف: Epstein, Richard L.
المکتبة: (طهران)
موضوع: ، Computable functions,، Logic, Symbolic and mathematical,، Godel's theorem
رده :
QA
9
.
59
.
E67
2000
2. 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
