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

More information

Created

10/10/2017