Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)

by: D. M. Gabbay · R. Schmidt · A. Szalas Paperback details (UK). details (Italy). (see also: Copertina flessibile) details (Spain - España). (see also: Tapa blanda) ISBN: 978-1-904987-56-7 ISBN-10: 1-904987-56-7 College Publications · 2008