A theory of real numbers and its presentation in AUTOMATH

  • Jan Tijmen Udding

Student thesis: Master

Date of Award31 Aug 1980
Original languageEnglish
SupervisorN.G. (Dick) de Bruijn (Supervisor 1) & L.S. Benthem Jutting, van (Supervisor 2)

Cite this

'