Tools

LEADER 01228cam 2200349 i 4500

001 ocm05412670;

005 20141212023642.0;

008 790829s1979 maua b 001 0 eng ;

010 a| 79018458;

020 a| 020102540X;

035 a| (Sirsi) o05412670;

035 a| (OCoLC)5412670;

049 a| ERE*;

050 00 a| QA9.35b| .D73;

082 0 a| 511/.3;

100 1 a| Dreben, Burton.=| ^A120379;

245 14 a| The decision problem :b| solvable classes of quantificational formulas /c| Burton Dreben, Warren D. Goldfarb.;

260 a| Reading, Mass. :b| Addison-Wesley, Advanced Book Program,c| 1979.;

300 a| xii, 271 pages :b| illustrations ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes indexes.;

504 a| Bibliography: p. 257-260.;

650 0 a| Predicate calculus.=| ^A30206;

650 0 a| Unsolvability (Mathematical logic)=| ^A75579;

700 1 a| Goldfarb, Warren D.=| ^A555968;

919 a| BOOK;

596 a| 1;

998 a| 165925;

999 a| QA9.35 .D73w| LCc| 1i| 310372001912004d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 6/28/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.

Author/creator	Dreben, Burton
Other author	Goldfarb, Warren D.
Format	Book
Publication Info	Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
Description	xii, 271 pages : illustrations ; 25 cm
Subjects	Predicate calculus. Unsolvability (Mathematical logic)

General note	Includes indexes.
Bibliography note	Bibliography: p. 257-260.
LCCN	79018458
ISBN	020102540X

The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.

Click here for more information about this title