TY - DATA AU - Orlowska, Ewa., author. TI - Dual Tableaux: Foundations, Methodology, Case Studies SN - 9789400700055, 978-94-007-0005-5 U1 - 511.3, PY - 2011/// CY - Dordrecht PB - Springer Netherlands, Imprint: Springer KW - Logic, Symbolic and mathematical KW - Computer science KW - Logic KW - Mathematical Logic and Formal Languages KW - Mathematical Logic and Foundations KW - Mathematics N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.1007/978-94-007-0005-5 ER -