Wyniki
-
Remarks on Synthetic Tableaux for Classical Propositional Calculus
Mariusz Urbański
Bulletin of the Section of Logic , 30 /4 (2001) s. 195-205
Mariusz Urbański
Bulletin of the Section of Logic
, 30
/4
(2001)
s. 195-205