Second-order Quantifier Elimination: Foundations, Computational Aspects and
24,84 €
This book provides the first comprehensive, systematic and uniform account of the state-of-the-art of second-order quantifier elimination in classical and non-classical logics. Most second-order logics are incomplete and highly undecidable.
Jetzt bei Ebay:
