Tools

LEADER 01225cam a22003491 4500

001 ocm00232930;

005 20141212063539.0;

008 840604s1965 nyu b 001 0 eng ;

010 a| 65003996;

035 a| (Sirsi) o00232930;

035 a| (OCoLC)232930;

049 a| EREE;

050 00 a| QA248.5b| .D33;

082 0 a| 512.8;

100 1 a| Davis, Martin,d| 1928-2023=| ^A86105;

245 14 a| The undecidable ;b| basic papers on undecidable propositions, unsolvable problems and computable functions.;

260 a| Hewlett, N.Y. :b| Raven Press,c| [1965];

300 a| 440 pages ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references.;

650 0 a| Recursive functions.=| ^A30764;

650 0 a| Gödel's theorem.=| ^A207978;

650 0 a| Turing machines.=| ^A243929;

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

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

919 a| BOOK;

596 a| 1;

998 a| 344102;

999 a| QA248.5 .D33w| LCc| 1i| 30372004971328d| 3/27/2013e| 2/16/2001f| 3/27/2013g| 1l| JGESm| JOYNERn| 2r| Ys| Yt| JGESBKu| 4/18/1990x| BOOKz| JSTACKSo| .STAFF. 0;

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.

Author/creator	Davis, Martin
Format	Book
Publication Info	Hewlett, N.Y. : Raven Press, [1965]
Description	440 pages ; 25 cm
Subjects	Recursive functions. Gödel's theorem. Turing machines. Unsolvability (Mathematical logic) Computable functions.

Bibliography note	Includes bibliographical references.
LCCN	65003996

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA248.5 .D33	✔ Available	Place Hold

The undecidable ; basic papers on undecidable propositions, unsolvable problems and computable functions.

Click here for more information about this title

Availability