Dual tableaux : foundations, methodology, case studies
Author(s)
Bibliographic Information
Dual tableaux : foundations, methodology, case studies
(Trends in logic : studia logica library, v. 36)
Springer, c2011
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index