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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Language Notes: | English. |
| Published: |
Amsterdam ; New York :
Elsevier Science,
2001.
|
| Series: | Turing, Alan, 1912-1954. Works. 1990.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (xii, 293 pages) : illustrations |
| Bibliography: | Includes bibliographical references (pages 281-287). |
| ISBN: | 9780444504234 0444504230 9780080535920 0080535925 1281048364 9781281048363 9786611048365 6611048367 |