Orlowska, Ewa.
Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. - Dordrecht : Springer Netherlands, 2011. - digital. - Trends in Logic ; 33 . - Trends in Logic ; 33 .
9789400700055
10.1007/978-94-007-0005-5 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
QA8.9-10.3
511.3
Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. - Dordrecht : Springer Netherlands, 2011. - digital. - Trends in Logic ; 33 . - Trends in Logic ; 33 .
9789400700055
10.1007/978-94-007-0005-5 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logic.
QA8.9-10.3
511.3