A theory of real numbers and its presentation in AUTOMATH

  • Jan Tijmen Udding

Scriptie/Masterproef: Master

Datum prijs31 aug 1980
Originele taalEngels
BegeleiderN.G. (Dick) de Bruijn (Afstudeerdocent 1) & L.S. Benthem Jutting, van (Afstudeerdocent 2)

Citeer dit

'