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
Cover Image
Read Now

1
by Longley, John, Normann, Dag
Published 2015
Springer Berlin Heidelberg
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
Other Authors: “...Normann, Dag...”