A note on the axiomatisation of real numbers
Journal article, 2008
Author
Thierry Coquand
University of Gothenburg
Math.Log. Q.
Vol. 54 224-228
Subject Categories
Other Mathematics