Second-order quantifier elimination
Subtitle: foundations, computational aspects and applications
By: Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szałas
Contributors: Schmidt, Renate A.; Szałas, Andrzej, 1958-
Series: Studies in logic -- v. 12
Publisher: College Publications
Published: 2008
Place of publication: London
Language: eng
Number of pages: 308
ISBN-13: 9781904987567
Subjects: Symbolic and mathematical Logic
Notes: Includes bibliographical references and indexes.