CITATION STYLE
Kripke Models. (2005). In A Short Introduction to Intuitionistic Logic (pp. 47–52). Kluwer Academic Publishers. https://doi.org/10.1007/0-306-46975-8_8
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley