Simpson, A. K. (1994). The proof theory and semantics of intuitionistic modal logic. Univ., Dept. of Computer Science.
Chicago Style (17th ed.) CitationSimpson, Alex K. The Proof Theory and Semantics of Intuitionistic Modal Logic. Edinburgh: Univ., Dept. of Computer Science, 1994.
MLA (9th ed.) CitationSimpson, Alex K. The Proof Theory and Semantics of Intuitionistic Modal Logic. Univ., Dept. of Computer Science, 1994.
Warning: These citations may not always be 100% accurate.