Tools

LEADER 01278cam a2200349 a 4500

001 ocm31434743;

003 OCoLC;

005 20141212114842.0;

008 941024s1994 enk b 001 0 eng ;

010 a| 94222366;

020 a| 052142027X (hardback);

035 a| (Sirsi) o31434743;

035 a| (OCoLC)31434743;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA9.65b| .S53 1994;

082 00 a| 511.3/0285/532| 20;

100 1 a| Shankar, N.q| (Natarajan)=| ^A359330;

245 10 a| Metamathematics, machines, and Gödel's proof /c| N. Shankar.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1994.;

300 a| xv, 202 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 38;

504 a| Includes bibliographical references and index.;

650 0 a| Gödel's theoremx| Data processing.=| ^A207978;

650 0 a| Automatic theorem proving.=| ^A88007;

830 0 a| Cambridge tracts in theoretical computer science ;v| 38.=| ^A221007;

596 a| 1;

998 a| 568684;

999 a| QA9.65 .S53 1994w| LCc| 1i| 30372008777135d| 1/31/2013e| 3/31/1995l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 2/27/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Metamathematics, machines, and Gödel's proof / N. Shankar.

Author/creator	Shankar, N.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1994.
Description	xv, 202 pages ; 26 cm.
Subjects	Gödel's theorem--Data processing. Automatic theorem proving.

Series	Cambridge tracts in theoretical computer science ; 38 Cambridge tracts in theoretical computer science ; 38. ^A221007
Bibliography note	Includes bibliographical references and index.
LCCN	94222366
ISBN	052142027X (hardback)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.65 .S53 1994	✔ Available	Place Hold

Metamathematics, machines, and Gödel's proof / N. Shankar.

Click here for more information about this title

Availability