Systems of explicit mathematics with non-constructive $μ$-operator and join

TitleSystems of explicit mathematics with non-constructive $μ$-operator and join
Publication TypeJournal Article
Year of Publication1996
AuthorsGlass, T, Strahm, T
JournalAnnals of Pure and Applied Logic
Volume82
Pagination193-219
URLhttp://www.iam.unibe.ch/ltgpub/1996/gs96.ps