Obras completas [de Kurt Gödel] /
Kurt Gödel (1906-1978), ha sido el más grande lógico del siglo XX y uno de los mayores pensadores de todos los tiempos. Sus logros de importancia han sido que probó la suficiencia del cálculo lógico de primer orden (1930); que todo sistema formal que contenga un poco de aritmética es necesariamente...
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | espanyol |
| Publicat: |
Madrid, España :
Alianza,
2018, c2018
|
| Col·lecció: | (Alianza Ensayo)
|
| Matèries: |
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: