Intuitionistic logic freed of all metarules. - Giovanna Corsi; Gabriele Tassi (J. Symb. Log., 2007)