CITATION STYLE
Pym, D. J. (2002). Natural Deduction for Propositional BI (pp. 13–31). https://doi.org/10.1007/978-94-017-0091-7_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley