Simpson, A. K. (1994). The proof theory and semantics of intuitionistic modal logic. Univ., Dept. of Computer Science.
Chicago-Zitierstil (17. Ausg.)Simpson, Alex K. The Proof Theory and Semantics of Intuitionistic Modal Logic. Edinburgh: Univ., Dept. of Computer Science, 1994.
MLA-Zitierstil (9. Ausg.)Simpson, Alex K. The Proof Theory and Semantics of Intuitionistic Modal Logic. Univ., Dept. of Computer Science, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.