Some new results on PCL1 and its related systems

Logic and Logical Philosophy, Tom 19, Numer 1-2 (2010) s. 129-158
Toshiharu Waragai, Hitoshi Omori

 

do góry