Explicit mathematics and operational set theory: some ontological comparisons

TitleExplicit mathematics and operational set theory: some ontological comparisons
Publication TypeJournal Article
Year of Publication2014
AuthorsJäger, G, Zumbrunnen, R
JournalThe Bulletin of Symbolic Logic
Volume20
Pagination275-292
Date Published9
ISSN1943-5894
URLhttp://www.iam.unibe.ch/ltgpub/2014/jz14.pdf
DOI10.1017/bsl.2014.21