|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
in00003689216 |
| 003 |
OCoLC |
| 005 |
20220616140055.0 |
| 008 |
070403s2007 enka b 001 0 eng |
| 010 |
|
|
|a 2007014225
|
| 020 |
|
|
|a 9780521877527 (hbk.)
|
| 020 |
|
|
|a 0521877520 (hbk.)
|
| 020 |
|
|
|a 9780521701464 (pbk.)
|
| 020 |
|
|
|a 0521701465 (pbk.)
|
| 035 |
|
|
|a (OCoLC)122526900
|
| 040 |
|
|
|a DLC
|c DLC
|d YDX
|d BTCTA
|d BAKER
|d YDXCP
|d BWK
|d OCLCG
|d UtOrBLW
|
| 049 |
|
|
|a EEMO
|
| 050 |
0 |
0 |
|a QA9.59
|b .B66 2007
|
| 082 |
0 |
0 |
|a 511.3/52
|2 22
|
| 100 |
1 |
|
|a Boolos, George.
|0 http://id.loc.gov/authorities/names/n88137851
|
| 245 |
1 |
0 |
|a Computability and logic.
|
| 250 |
|
|
|a Fifth edition /
|b George S. Boolos, John P. Burgess, Richard C. Jeffrey.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 2007.
|
| 300 |
|
|
|a xiii, 350 pages :
|b illustrations ;
|c 26 cm
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references (page 341) and index.
|
| 650 |
|
0 |
|a Computable functions.
|0 http://id.loc.gov/authorities/subjects/sh85029469
|
| 650 |
|
0 |
|a Recursive functions.
|0 http://id.loc.gov/authorities/subjects/sh85112014
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 700 |
1 |
|
|a Burgess, John P.,
|d 1948-
|0 http://id.loc.gov/authorities/names/n2001013661
|
| 700 |
1 |
|
|a Jeffrey, Richard C.
|0 http://id.loc.gov/authorities/names/n82093546
|
| 856 |
4 |
1 |
|z Connect to: Table of contents only - All users
|u http://catdir.loc.gov/catdir/toc/ecip0715/2007014225.html
|t 0
|
| 907 |
|
|
|y .b5652805x
|b 170901
|c 080428
|
| 998 |
|
|
|a mn
|b 080610
|c m
|d a
|e -
|f eng
|g enk
|h 0
|i 2
|
| 994 |
|
|
|a 92
|b EEM
|
| 999 |
f |
f |
|i 03a46a27-a351-5838-95f5-17e1b1b4f287
|s a2ae735d-dab8-5006-8edd-e3282b54e952
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Main Library
|d MSU Main Library
|t 0
|e QA9.59 .B66 2007
|h Library of Congress classification
|i Printed Material
|m 31293007436763
|n 1
|
