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

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textUse in library QA9.35.D73Off-site

Details

Additional Authors
Goldfarb, Warren D.
Description
xii, 271 p. : ill.; 25 cm.
Subject
  • Predicate calculus
  • Unsolvability (Mathematical logic)
Note
  • Includes indexes.
Bibliography (note)
  • Bibliography: p. 257-260.
ISBN
020102540X
LCCN
79018458
OCLC
  • ocm05412670
  • SCSB-273951
Owning Institutions
Princeton University Library