7 treff

Finite algorithmic procedures and computation theories
Moldestad, Johan
Bok Engelsk 1978
Finite algorithmic procedures and inductive definability
Moldestad, Johan
Bok Engelsk 1978
Computations in higher types
Johan Moldestad
Bok Tysk 1977
Computation theory on two types
Johan Moldestad
Bok Engelsk 1976
Models for recursion theory
by Johan Moldestad and Dag Normann
Bok Engelsk 1975
2-envelopes and the analytic hierarchy
Moldestad, Johan
Bok Engelsk 1974
PR-teoriar for I.ordens funksjonalar
av Johan Moldestad
Bok Bokmål 1972