Second-order quantifier elimination : foundations, computational aspects and applications

Author(s)

• Gabbay, Dov M.
• Schmidt, Renate A
• Szałas, Andrzej

Bibliographic Information

Second-order quantifier elimination : foundations, computational aspects and applications

Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szałas

（Studies in logic / series editor, Dov Gabbay, v. 12）

College Publications, 2008

Note

Includes bibliographical references and index

Details

• NCID: BB07665829
• ISBN:
  • 9781904987567
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: viii, 308 p.
• Size: 24 cm
• Classification:
  • DC22 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA82085144