Polish Contemporary Philosophy and Philosophical Humanities ; Volume 20
Print version: Jarmuzek, Tomasz. Tableau methods for propositional logic and term logic. Berlin : Peter Lang, c2020 225 pages Polish contemporary philosophy and philosophical humanities ; Volume 20. ISBN 9783631833728