Hierarchies of predicates of finite types
Saved in:
| Main Author: | Clarke, Douglas Albert |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
1964
|
| Series: | Memoirs of the American Mathematical Society ;
; 51 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Recursive Function Theory
Published: (1962) -
Algorithmen, rekursive funktionen und formaler sprachen
by: Brauer, Wilfried, et al.
Published: (1968) -
Computability :
by: Cutland, Nigel
Published: (1980) -
Εισαγωγή στην υπολογιστική
by: Τουρλάκης, Γιώργος
Published: (1994) -
Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole 1909-
Published: (1969)