6 treff

Handbook of computability theory
edited by Edward R. Griffor
Bok Engelsk 1999
Mathematical theory of domains
Viggo Stoltenberg-Hansen, Ingrid Lindströ...
Bok Engelsk 1994
Definability and forcing in E-recursion
by E. R. Griffor
Bok Språk ikke angitt 1982 · Les boka på nett
Effective cofinalities and admissibility in E-recursion
by E. R. Griffor and D. Normann
Bok Språk ikke angitt 1982 · Les boka på nett
Recursive enumerability and indexicality in E-recursion
E. R. Griffor and D. Normann
Bok Språk ikke angitt 1981 · Les boka på nett
Some consequences of AD for Kleene recursion in 3E
Griffor, E. R.
Bok Språk ikke angitt 1981 · Les boka på nett