Remarks on Synthetic Tableaux for Classical Propositional Calculus

Bulletin of the Section of Logic, Tom 30, Numer 4 (2001) s. 195-205
Mariusz Urbański

 

do góry