Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
By: Orlowska, Ewa.
Contributor(s): Golińska Pilarek, Joanna | SpringerLink (Online service).
Material type: BookSeries: Trends in Logic ; 33.Publisher: Dordrecht : Springer Netherlands, 2011Description: digital.ISBN: 9789400700055.Subject(s): Mathematics | Logic | Computer science | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages | LogicDDC classification: 511.3 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.