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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Turing, Alan, 1912-1954
Otros Autores: Gandy, R. O. (Robin O.), Yates, C. E. M.
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
Descripción
Sumario: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.
Descripción Física:1 online resource (xii, 293 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 281-287).
ISBN:9780444504234
0444504230
9780080535920
0080535925
1281048364
9781281048363
9786611048365
6611048367