| Shelfclass_id | 4.B.3 |
| Sortkey | DREBEN, BURTON |
| Authors | Burton Dreben, Warren D. Goldfarb |
| Title | The Decision Problem: Solvable Classes of Quantificational Formulas |
| Publisher | Addison-Wesley Publishing Company |
| Year | 1979 |
| Languages | eng |
| Isbn | 020102540X |
| Description | xii, 271 p. ill. 25 cm. |
| Record date | 20080808 |
| Location | Reading, Mass. |
| Keywords | Predicate calculus, Unsolvability (Mathematical logic) |
| Notes | Includes indexes. |