<Books>
Mathematical logic / edited by R.O. Gandy and C.E.M. Yates
(Collected works of A.M. Turing)
Publisher | Amsterdam ; New York : North-Holland : Elsevier |
---|---|
Year | 2001 |
Language | English |
Size | xii, 293 p. : ill. ; 25 cm |
Authors | Turing, Alan Mathison, 1912-1954 Gandy, R. O. Yates, Charles Edmund Michael |
Subjects | Logic, Symbolic and mathematical |
Notes | Includes bibliographical references and index |
TOC
Hide book details.
Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|
数学図書室(図書) | 図書 |
|
410.96//Tu6//X5 |
|
0444504230 |
|
|
|
5200353175 |
Hide details.
Material Type | Books |
---|---|
Classification | NDC:410.96 |
ID | 1000211796 |
ISBN | 0444504230 |
NCID | BA55221385 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:5times
※After Sep 4, 2017
Total Lendings:0times
(Lending within 3 months:0times)