Kashim Ibrahim Library catalog

Normal view MARC view ISBD view

Dreben, Burton

The decision problem: solvable classes of quantificational formulae/ by Burton Dreben and Warren D. Goldfarb. - Reading, Massachusetts Addison-Wesley 1979 - xii.,271p.

Bibliography: p. 257-260

ISBN: 020102540X

LC Class. No.: QA 935

Print
Add to your cart (remove)
Save record
More searches