Preview Citation

Download

Jarmużek, T. (2021). Tableau Methods for Propositional Logic and Term Logic. Bern, Switzerland: Peter Lang D. Retrieved Jun 23, 2021, from https://www.peterlang.com/view/title/65869