Cargando…
Computability and logic.
This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2007.
|
| Edición: | 5th ed. / |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem. |
|---|---|
| Descripción Física: | 1 online resource (xiii, 350 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (page 341) and index. |
| ISBN: | 9780511649448 0511649444 9780511804076 0511804075 9780511366055 0511366051 9786612389924 6612389923 1107086507 9781107086500 1107183057 9781107183056 0511573979 9780511573972 051136668X 9780511366680 |