Cargando…
Deducibility and Decidability.
The works of Gdel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Routledge,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | The works of Gdel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner. |
|---|---|
| Descripción Física: | 1 online resource (169 pages) |
| ISBN: | 9780203015094 0203015096 |