Computability : an introduction to recursive function theory
Saved in:
| Main Author: | Cutland, Nigel |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University,
c1980
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Εισαγωγή στην υπολογιστική
by: Τουρλάκης, Γιώργος
Published: (1994) -
Recursive Function Theory
Published: (1962) -
Hierarchies of predicates of finite types
by: Clarke, Douglas Albert
Published: (1964) -
A recursive introduction to the theory of computation
by: Smith, Carl H. 1950-
Published: (1994) -
Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole 1909-
Published: (1969)