CITATION STYLE
Natural Deduction for Propositional Logic. (2005). In A Short Introduction to Intuitionistic Logic (pp. 9–22). Kluwer Academic Publishers. https://doi.org/10.1007/0-306-46975-8_3
Mendeley helps you to discover research relevant for your work.