On the $\varSigma $-Hierarchy of the Logical Principles Over Intuitionistic Predicate Logic.

Makoto Fujiwara

Browse the full CiE paper archive.