Dag Normann

Dag Normann is a Norwegian mathematical logician. He was born in 1947 and is Professor emeritus at the University of Oslo. His research focuses on computability theory with an emphasis on mathematical models for typed algorithms and applications of the foundations of mathematics. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Normann, Dag', query time: 0.01s Refine Results
  1. 1

    Recursion on the countable functionals / by Normann, Dag

    Published 1980
    Book