CITATION STYLE
Gentzen-type Propositional System LJpm. (2005). In A Short Introduction to Intuitionistic Logic (pp. 53–68). Kluwer Academic Publishers. https://doi.org/10.1007/0-306-46975-8_9
Mendeley helps you to discover research relevant for your work.