Implication and analysis in classical frege structures. - Robert C. Flagg; John J. Myhill (Ann. Pure Appl. Log., 1987)