ByNobleID
    A faithful interpretation of intuitionistic predicate logic in classical predicate logic | NobleID