Ewa Orlowska, Joanna Golińska Pilarek

Dual Tableaux: Foundations, Methodology, Case Studies - 2011 - Springer Netherlands 2011 - Trends in Logic .

9789400700055


Mathematics and Statistics