Preview Citation

Download

. (n.d. ). "3 Tableau system for Term Logic". In Tableau Methods for Propositional Logic and Term Logic. Bern, Switzerland: , . Retrieved Aug 5, 2021, from https://www.peterlang.com/view/9783631846667/content/10_chapter02_1.xhtml