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