| Shelfclass_id | 4.B.1 |
| Sortkey | LEWIS, HARRY R |
| Authors | Harry R Lewis |
| Title | Unsolvable Classes of Quantificational Formulas |
| Publisher | Addison-Wesley |
| Year | 1979 |
| Languages | eng |
| Isbn | 0201040697 |
| Description | xv, 198 p. ill. 24 cm. |
| Record date | 20071024 |
| Location | Reading, Mass. |
| Keywords | Unsolvability (Mathematical logic), Combinatorial analysis, Computable functions |
| Notes | "Advanced Book Program." |