A machine-assisted construction of the real numbers, M.Sc (1993)

by H Elbers