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

TitleSystems of explicit mathematics with non-constructive $μ$-operator. Part I
Publication TypeJournal Article
Year of Publication1993
AuthorsFeferman, S, Jäger, G
JournalAnnals of Pure and Applied Logic
Volume65
Pagination243-263
URLhttp://www.iam.unibe.ch/ltgpub/1993/fj93.pdf