Theory of recursive functions and effective computability
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Rogers, Hartley, 1926-2015 |
|---|---|
| Μορφή: | Livre papier |
| Γλώσσα: | Anglais |
| Έκδοση: |
New York ; Toronto [etc.] :
McGraw-Hill
C 1967.
|
| Σειρά: | McGraw-Hill series in higher mathematics
|
| Θέματα: | |
| Autres localisations: | Voir dans le Sudoc |
Παρόμοια τεκμήρια
-
Techniques of Admissible Recursion Theory
(Livre numérique)
Chong, Chi-Tat, 1949-...., mathématicien -
Subrecursion : functions and hierarchies
(Livre papier)
Rose, Harvey Ernest, 1936-
Clarendon Press ; Oxford University Press, 1984 -
Computability
(Livre papier)
Tourlakis, George J., 1946-
Reston Pub. Co., 1984 -
Computability
(Livre papier)
Weihrauch, Klaus, 1943-
Springer-Verlag, 1987 -
Enumerability, decidability, computability : an introduction to the theory of recursive functions
(Livre papier)
Hermes, Hans, 1912-2003
Springer-Verlag, 1965