Intuitionistic Rules : Admissible Rules of Intermediate Logics

DSpace/Manakin Repository