Intuitionistic logic - Bezhanishvili, Nick; Jongh, Dick de (Inst. for Logic, Language and Computation, 2006)
Keywords: Intuitionistische Logik