Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II.

Solomon Feferman Gerhard Jäger Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. 37-52 1996 79 Ann. Pure Appl. Logic 1 db/journals/apal/apal79.html#FefermanJ96