Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
Record details
- ISBN: 9789400700055
- Physical Description: XVI, 524 p. digital.
- Publisher: Dordrecht : Springer Netherlands, 2011.
Search for related items by subject
Subject: | Mathematics. Logic. Computer science. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logic. |