Research Catalog
The decision problem : solvable classes of quantificational formulas
- Title
- The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.
- Author
- Dreben, Burton
- Publication
- Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 80-934 | Offsite |
Details
- Additional Authors
- Goldfarb, Warren D.
- Description
- xii, 271 p. : ill.; 25 cm.
- Subject
- Note
- Includes indexes.
- Bibliography (note)
- Bibliography: p. 257-260.
- Call Number
- JSE 80-934
- ISBN
- 020102540X
- LCCN
- 79018458
- OCLC
- 5412670
- NYPG804571998-B
- Author
- Dreben, Burton.
- Title
- The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.
- Imprint
- Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
- Bibliography
- Bibliography: p. 257-260.
- Added Author
- Goldfarb, Warren D.
- Research Call Number
- JSE 80-934