Book published as author, translator, etc. (Books)Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
Gabbay, Dov M.; Schmidt, R.; Szalas, A.
2008 • College publications