@Article{Urbanski2001a, author = {Mariusz Urba\'{n}ski}, title = {Remarks on Synthetic Tableaux for Classical Propositional Calculus}, journal = {Bulletin of the Section of Logic}, year = {2001}, volume = {30}, number = {4}, pages = {194--204}, }