Return to Article Details Tableau Methods and a Validity of Arguments (Review: Tomasz JARMUŻEK, Formalizacja metod tablicowych dla logik zdań i logik nazw [Formalization of Tableau Methods for Sentences Logics and Names Logics]) Download Download PDF