Tableau Methods for Propositional Logic and Term Logic
Tomasz Jarmużek - Hardback
£52.25
Find out more
Tomasz Jarmużek is Professor of Logic at the Nicolaus Copernicus University in Toruń (Poland). His research focuses on philosophical logic and its applications in philosophical problems. He is also interested in the proof theory with a special emphasis on the tableau methods.