Switch to: Citations

References in:

The decision problem: solvable classes of quantificational formulas

Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb (1979)

Add references

You must login to add references.

No references yet.