Dual Tableaux: Foundations, Methodology, Case Studies
By: by Ewa Orlowska, Joanna Golińska Pilarek
Contributors: Golińska-Pilarek, Joanna; SpringerLink (Online service)
Series: Trends in Logic -- 33
Publisher: Springer Netherlands
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
ISBN-13: 9789400700055
Subjects: Mathematical Logic and Formal Languages; Symbolic and mathematical Logic; Computer science; Logic; Mathematics; Mathematical Logic and Foundations