Tools

LEADER 01218cam 2200361 i 4500

001 ocm05219400;

005 20141212022338.0;

008 790709s1979 maua b 001 0 eng ;

010 a| 79017573;

020 a| 0201040697;

035 a| (Sirsi) o05219400;

035 a| (OCoLC)5219400;

049 a| ERE*;

050 00 a| QA9.63b| .L48;

082 0 a| 511/.3;

100 1 a| Lewis, Harry R.=| ^A118919;

245 10 a| Unsolvable classes of quantificational formulas /c| Harry R. Lewis.;

260 a| Reading, Mass. :b| Addison-Wesley Pub. Co.,c| 1979.;

300 a| xv, 198 pages :b| illustrations ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| "Advanced Book Program.";

500 a| Includes indexes.;

504 a| Bibliography: p. 190-194.;

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

650 0 a| Combinatorial analysis.=| ^A31443;

650 0 a| Computable functions.=| ^A60697;

919 a| BOOK;

596 a| 1;

998 a| 163630;

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

Unsolvable classes of quantificational formulas / Harry R. Lewis.

Author/creator	Lewis, Harry R.
Format	Book
Publication Info	Reading, Mass. : Addison-Wesley Pub. Co., 1979.
Description	xv, 198 pages : illustrations ; 24 cm
Subjects	Unsolvability (Mathematical logic) Combinatorial analysis. Computable functions.

General note	"Advanced Book Program."
General note	Includes indexes.
Bibliography note	Bibliography: p. 190-194.
LCCN	79017573
ISBN	0201040697

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.63 .L48	✔ Available	Place Hold

Unsolvable classes of quantificational formulas / Harry R. Lewis.

Click here for more information about this title

Availability