A deductive-reductive form of logic: Intuitionistic S4 modalities

Logic and Logical Philosophy, Tom 10 (2002) s. 79-91
Piotr Łukowski

 

do góry