1 option
The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.
- Format:
- Book
- Author/Creator:
- Dreben, Burton.
- Goldfarb, Warren D., author.
- Language:
- English
- Subjects (All):
- Predicate calculus.
- Unsolvability (Mathematical logic).
- Physical Description:
- xii, 271 pages : illustrations ; 25 cm
- Place of Publication:
- Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
- Notes:
- Includes indexes.
- Bibliography: pages 257-260.
- ISBN:
- 020102540X
- OCLC:
- 5412670
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.