1. Enumerability, decidability, computability. An introduction to the theory of recursive functions
Author: Hermes, Hans.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions,، Algorithms,، Godel's theorem
Classification :
QA
248
.
5
.
H413
1969
2. Enumerability, decidability, computability; an introduction to the theory of recursive functions
Author: Hermes, Hans.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursive functions
Classification :
QA
248
.
5
.
H413
