The decision problem: solvable classes of quantificational formulae/ by Burton Dreben and Warren D. Goldfarb.
By: Dreben, Burton.
Contributor(s): Goldfarb Warren D.
Material type:
BookPublisher: Reading, Massachusetts Addison-Wesley 1979Description: xii.,271p.ISBN: 020102540X.
No physical items for this record
Bibliography: p. 257-260
There are no comments for this item.