Realization of analysis into explicit mathematics

TitleRealization of analysis into explicit mathematics
Publication TypeJournal Article
Year of Publication2001
AuthorsTupailo, S
JournalThe Journal of Symbolic Logic
Volume66
Pagination1848-1864
URLhttp://www.iam.unibe.ch/ltgpub/2001/tup01.pdf