Systems of explicit mathematics with non-constructive $μ$-operator. Part II

TitleSystems of explicit mathematics with non-constructive $μ$-operator. Part II
Publication TypeJournal Article
Year of Publication1996
AuthorsFeferman, S, Jäger, G
JournalAnnals of Pure and Applied Logic
Volume79
Pagination37-52
URLhttp://dx.doi.org/10.1016/0168-0072(95)00028-3
DOI10.1016/0168-0072(95)00028-3