Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
- Dordrecht Springer Netherlands, Imprint: Springer, 2011.
Mathematics and Statistics (Springer-11649)
9789400700055, 978-94-007-0005-5
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23
Mathematics and Statistics (Springer-11649)
9789400700055, 978-94-007-0005-5
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23