TY  - BOOK
AU  - Jarmuzek,Tomasz
AU  - Jarmuzek, Tomasz
AU  - Hartman, Jan
TI  - Tableau Methods for Propositional Logic and Term Logic
SN  - 9783631846537
PY  - 2021///
PB  - Peter Lang
N2  - The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets
UR  - https://international.scholarvox.com/netsen/book/88915729
ER  -