Title: Dual Tableaux: Foundations, Methodology, Case Studies
Subjects: Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Computer science, Logic, Mathematics, Mathematical Logic and Foundations