Dual Tableaux: Foundations, Methodology, Case Studies - Orlowska, Ewa., author (Dordrecht Springer Netherlands, Imprint: Springer, 2011)
Mathematics and Statistics (Springer-11649)
Keywords: Logic, Symbolic and mathematical; Computer science; Logic; Logic; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Mathematics