Dag Normann (normann-d)

Contributions to Philosophie.ch

Bibliography

Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag and Steel, John R., eds. 2007. Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28 – August 3, 2005. Lecture Notes in Logic n. 28. Cambridge: Cambridge University Press.
Normann, Dag. 1979. “Recursion in 3E and a Splitting Theorem.” in, pp. 275–286.
Normann, Dag. 2006. “Computing with Functionals – Computability Theory or Computer Science?” The Bulletin of Symbolic Logic 12(1): 43–59.