Unsolvable classes of quantificational formulas
By: Harry R. Lewis.
Publisher: Addison-Wesley Pub. Co.
Published: 1979
Place of publication: Reading, Mass
Language: eng
Number of pages: 198
Subjects: Unsolvability (Mathematical logic); Combinatorial analysis.; Computable functions.
Notes: Bibliography: p. 190-194.
"Advanced Book Program."
Includes indexes.