CITATION STYLE
Proof-Search in Predicate Logic. (2005). In A Short Introduction to Intuitionistic Logic (pp. 119–124). Kluwer Academic Publishers. https://doi.org/10.1007/0-306-46975-8_17
Mendeley helps you to discover research relevant for your work.