|
|
|
|
| LEADER |
00000cam a22000004a 4500 |
| 001 |
in00002671044 |
| 005 |
20220616125014.0 |
| 008 |
010313s2001 ne a b 000 0 eng |
| 010 |
|
|
|a 2001023846
|
| 015 |
|
|
|a GBA2-04145
|
| 020 |
|
|
|a 0444504230 (hardcover : alk. paper)
|
| 035 |
|
|
|a (OCoLC)46472153
|
| 040 |
|
|
|a DLC
|c DLC
|d C#P
|d UKM
|d OCLCQ
|d EEM
|d UtOrBLW
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a EEMO
|
| 050 |
0 |
0 |
|a QA9.2
|b .T87 2001
|
| 082 |
0 |
0 |
|a 511.3
|2 21
|
| 100 |
1 |
|
|a Turing, Alan,
|d 1912-1954.
|0 http://id.loc.gov/authorities/names/n83171546
|
| 245 |
1 |
0 |
|a Mathematical logic /
|c edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].
|
| 260 |
|
|
|a Amsterdam ;
|a New York :
|b Elsevier Science,
|c 2001.
|
| 300 |
|
|
|a xii, 293 pages :
|b illustrations ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Collected works of A.M. Turing
|
| 504 |
|
|
|a Includes bibliographical references (pages 281-287).
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 700 |
1 |
|
|a Gandy, R. O.
|q (Robin O.)
|0 http://id.loc.gov/authorities/names/n2001007463
|
| 700 |
1 |
|
|a Yates, C. E. M.
|0 http://id.loc.gov/authorities/names/n2001007462
|
| 800 |
1 |
|
|a Turing, Alan,
|d 1912-1954.
|t Works.
|f 1990.
|0 http://id.loc.gov/authorities/names/n90638994
|
| 907 |
|
|
|y .b39519624
|b 211114
|c 021018
|
| 994 |
|
|
|a E0
|b EEM
|
| 998 |
|
|
|a mn
|b 030206
|c m
|d a
|e -
|f eng
|g ne
|h 0
|i 3
|
| 999 |
f |
f |
|i b155551b-cd2d-56ee-8804-fdf23759aa06
|s 4b7b87e3-325c-52db-a2dc-30c2637fd62c
|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.2 .T87 2001
|h Library of Congress classification
|i Printed Material
|m 31293035073158
|n 1
|
