The Decision Problem for Formulas with a Small Number of Atomic Subformulas

Sorry, there's nothing here.

Cite this paper

@article{Lewis1973TheDP, title={The Decision Problem for Formulas with a Small Number of Atomic Subformulas}, author={Harry R. Lewis and Warren D. Goldfarb}, journal={J. Symb. Log.}, year={1973}, volume={38}, pages={471-480} }