Widok Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Wróć do szczegółów artykułu Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets Pobierz Pobierz PDF