Unsolvable classes of quantificational formulas
Author(s)
Bibliographic Information
Unsolvable classes of quantificational formulas
Addison-Wesley Pub. Co., 1979
Available at / 20 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Advanced Book Program."
Bibliography: p. 190-194
Includes indexes