"Implication and analysis in classical frege structures."

Robert C. Flagg, John J. Myhill (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics