Systems of explicit mathematics with nonconstructive µ-operator and join (1996)

by T Glaß, T Strahm
Venue:Annals of Pure and Applied Logic 82