Persistent URL of this record https://hdl.handle.net/1887/29696
Documents
-
- Bachelor thesis
- closed access
In Collections
This item can be found in the following collections:
µ-Recursieve Functies als Wiskundige Formalisering van Algoritmische Procedures: Church' These
- Author
- Michgelsen, Philip W.B.
- Note
- English Title: µ-Recursive Functions as a Mathematical Formalization of Algorithmic Procedures: Church's Thesis
- Faculty
- Faculty of Humanities
- Specialisation
- Theoretische Filosofie
- Supervisors
- Sundholm, B.G.
- ECTS Credits
- 10
- Language
- nl