Book Announcement: Second-Order Quantifier Elimination

Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications
by Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas
Studies in Logic: Mathematical Logic and Foundations, Vol. 12
College Publications 2008, 308 pages
ISBN 978-1-904987-56-7

Further information can be found at http://www.cs.man.ac.uk/~schmidt/publications/GabbaySchmidtSzalas08.html