| Date of Award | 31 Aug 1980 |
|---|---|
| Original language | English |
| Supervisor | N.G. (Dick) de Bruijn (Supervisor 1) & L.S. Benthem Jutting, van (Supervisor 2) |
Cite this
- Standard
A theory of real numbers and its presentation in AUTOMATH
Student thesis: Master