A deductive-reductive form of logic: General theory and intuitionistic case

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

 

do góry