Lengths of Formulas and Elimination of Quantifiers I

• 1 January 1968
• book chapter
• Published by Elsevier
• p. 175-188
• https://doi.org/10.1016/s0049-237x(08)70524-x

Abstract