Cover is for reference only

Unsolvable classes of quantificational formulas

Saved in:
Bibliographic Details
Main Authors: Lewis Harry R.
Published: Addison-Wesley Pub. Co.,
Publisher Address: Reading, Mass.
Publication Dates: 1979.
Literature type: Book
Language: English
Subjects:
Unsolvability (Mathematical logic)
Combinatorial analysis
Computable functions
Carrier Form: xv, 198 p.: ill. ; 24 cm.
ISBN: 0201040697
Index Number: O14
CLC: O14
Call Number: O14/L674
Contents: "Advanced Book Program."
Includes indexes.
Bibliography: p. 190-194.

Related Book Recommendations