Cargando…
Mathematical logic /
Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and math...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier Science,
2001.
|
| Colección: | Turing, Alan, 1912-1954. Works. 1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162578313 | ||
| 003 | OCoLC | ||
| 005 | 20231117014949.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2001 ne a ob 000 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OCLCQ |d N$T |d YDXCP |d MERUC |d UBY |d E7B |d IDEBK |d TULIB |d OCLCQ |d OCLCF |d OCLCQ |d EBLCP |d OCLCQ |d COO |d OCLCQ |d STF |d D6H |d OCLCA |d AU@ |d OCLCQ |d LEAUB |d OL$ |d OCLCO |d OCLCQ |d MM9 |d OCLCO |d OCLCQ |d VLY |d QGK |d OCLCO |d COM |d OCLCQ |d OCLCO | ||
| 015 | |a GBA204145 |2 bnb | ||
| 016 | 7 | |a 0444504230 |2 Uk | |
| 019 | |a 180874843 |a 441801514 |a 505075446 |a 647696178 |a 779920058 |a 989345841 |a 1035710071 |a 1162410432 |a 1170618255 |a 1171599601 |a 1180936734 |a 1180948709 |a 1206217553 | ||
| 020 | |a 9780444504234 | ||
| 020 | |a 0444504230 | ||
| 020 | |a 9780080535920 |q (electronic bk.) | ||
| 020 | |a 0080535925 |q (electronic bk.) | ||
| 020 | |a 1281048364 | ||
| 020 | |a 9781281048363 | ||
| 020 | |a 9786611048365 | ||
| 020 | |a 6611048367 | ||
| 035 | |a (OCoLC)162578313 |z (OCoLC)180874843 |z (OCoLC)441801514 |z (OCoLC)505075446 |z (OCoLC)647696178 |z (OCoLC)779920058 |z (OCoLC)989345841 |z (OCoLC)1035710071 |z (OCoLC)1162410432 |z (OCoLC)1170618255 |z (OCoLC)1171599601 |z (OCoLC)1180936734 |z (OCoLC)1180948709 |z (OCoLC)1206217553 | ||
| 050 | 4 | |a QA9.2 |b .T87 2001eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a GPF. |2 thema | |
| 072 | 7 | |a PB. |2 thema | |
| 072 | 7 | |a PBB. |2 thema | |
| 072 | 7 | |a PBC. |2 thema | |
| 072 | 7 | |a PBCD. |2 thema | |
| 072 | 7 | |a PBKD. |2 thema | |
| 072 | 7 | |a PBX. |2 thema | |
| 072 | 7 | |a UMB. |2 thema | |
| 072 | 7 | |a UYQ. |2 thema | |
| 072 | 7 | |a UYZM. |2 thema | |
| 072 | 7 | |a MAT. |2 ukslc | |
| 072 | 7 | |a PB. |2 bicssc | |
| 072 | 7 | |a PBC. |2 bicssc | |
| 072 | 7 | |a PBCD. |2 bicssc | |
| 072 | 7 | |a PBKD. |2 bicssc | |
| 072 | 7 | |a PBX. |2 bicssc | |
| 072 | 7 | |a UMB. |2 bicssc | |
| 072 | 7 | |a UYQ. |2 bicssc | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 100 | 1 | |a Turing, Alan, |d 1912-1954. | |
| 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 1 online resource (xii, 293 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Collected works of A.M. Turing | |
| 504 | |a Includes bibliographical references (pages 281-287). | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover -- Contents -- Preface -- Alan Mathison Turing -- Chronology -- Preface to this volume -- Part I: Computability and Ordinal Logics -- Chapter 1. Historical Introduction (Solomon Feferman) -- Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem -- Chapter 3. 1937 Computability and?-definability. 1937 The p-function in? -- K Conversion -- Chapter 4. 1938 Systems of Logic based on Ordinals -- Part II: Type Theory -- Chapter 5. General Introduction to Turing's work on Type Theory -- Published papers -- Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types -- Chapter 7. 1942 The Use of Dots as Brackets in Church's System -- Chapter 8. 1948 Practical Forms of Type Theory -- Unpublished papers -- Chapter 9. 1941 Some Theorems about Church's System -- Chapter 10. 1943-4 Practical Forms of Type Theory II -- Chapter 11. 1944-5 The Reform of Mathematical Notation -- Part III: Enigmas, Mysteries and Loose Ends -- Chapter 12. Turing's Treatise on the Enigma -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript -- Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges) -- Chapter 17. Letter from Robin Gandy to Max Newman -- Chapter 18. Royal Society Memoir -- Bibliography -- Lists of contents of other volumes -- Appendix: matters arising from other volumes -- Last Page. | |
| 520 | |a Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 193. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 1 | 7 | |a Lambda-calculus. |2 gtt |
| 650 | 1 | 7 | |a Typentheorie. |2 gtt |
| 650 | 1 | 7 | |a Automatentheorie. |2 gtt |
| 650 | 1 | 7 | |a Geheimschrift. |2 gtt |
| 650 | 1 | 7 | |a Programmeren (computers) |2 gtt |
| 650 | 1 | 7 | |a Berekenbaarheid. |2 gtt |
| 650 | 7 | |a Algorithms & data structures. |2 thema | |
| 650 | 7 | |a Artificial intelligence. |2 thema | |
| 650 | 7 | |a Complex analysis, complex variables. |2 thema | |
| 650 | 7 | |a History of mathematics. |2 thema | |
| 650 | 7 | |a Information architecture. |2 thema | |
| 650 | 7 | |a Information theory. |2 thema | |
| 650 | 7 | |a Mathematical foundations. |2 thema | |
| 650 | 7 | |a Mathematical logic. |2 thema | |
| 650 | 7 | |a Mathematics. |2 thema | |
| 650 | 7 | |a Philosophy of mathematics. |2 thema | |
| 650 | 7 | |a Mathematics. |2 ukslc | |
| 700 | 1 | |a Gandy, R. O. |q (Robin O.) | |
| 700 | 1 | |a Yates, C. E. M. | |
| 776 | 0 | 8 | |i Print version: |a Turing, Alan Mathison, 1912-1954. |t Mathematical logic. |d Amsterdam ; New York : Elsevier Science, 2001 |z 0444504230 |z 9780444504234 |w (DLC) 2001023846 |w (OCoLC)46472153 |
| 800 | 1 | |a Turing, Alan, |d 1912-1954. |t Works. |f 1990. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444504234 |z Texto completo |