Computing with Classical Real Numbers
SourceJournal of Formalized Reasoning, 2, 1, (2009), pp. 27-39
Article / Letter to editor
Display more detailsDisplay less details
Journal of Formalized Reasoning
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.