Moldestad, Johan, 1946-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Moldestad, Johan
VIAF ID: 17775667 (Personal)
Permalink: http://viaf.org/viaf/17775667
Preferred Forms
-
100 1 _
‡a
Moldestad, Johan
-
100 1 _ ‡a Moldestad, Johan
-
100 1 _ ‡a Moldestad, Johan
-
100 1 _ ‡a Moldestad, Johan ‡d (1946- ).
-
100 1 _
‡a
Moldestad, Johan
‡d
1946-...
-
100 1 _
‡a
Moldestad, Johan,
‡d
1946-
-
100 1 _ ‡a Moldestad, Johan, ‡d 1946-
-
100 1 _ ‡a Moldestad, Johan, ‡d 1946-
-
100 1 _ ‡a Moldestad, Johan, ‡d 1946-
-
100 1 _
‡a
Moldestad, Johan,
‡d
1946-....
Works
| Title | Sources |
|---|---|
| 2-envelopes and the analytic hierarchy |
|
| Computation theory on two types |
|
| Computations in higher types, 1977: |
|
| Finite algorithmic procedures and inductive definability |
|
| Models for recursion theory |
|
| PR-teoriar for I.ordens funksjonalar |
|
