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 |