| TÃtulo : | Lógica para matemáticos | | Tipo de documento: | texto impreso | | Autores: | A. G. Hamilton, Autor | | Editorial: | Madrid : Paraninfo | | Fecha de publicación: | 1981 | | Colección: | Lógica y teorÃa de la ciencia | | Número de páginas: | 243 p. | | ISBN/ISSN/DL: | 978-84-283-1101-4 | | Nota general: | Incluye índice y bibliografía. | | Idioma : | Español (spa) | | Clasificación: | 511.3 LÓGICA MATEMÁTICA | | Nota de contenido: | Cálculo de enunciados informal - Cálculo de enunciados formal - Cálculo de predicados informal - Cálculo de predicados formal - Sistemas matemáticos - El teorema de incompletitud de Godel - Computabilidad, insolubilidad, indecidibilidad - Conjuntos numerables y no numerables. |
Lógica para matemáticos [texto impreso] / A. G. Hamilton, Autor . - Madrid : Paraninfo, 1981 . - 243 p.. - ( Lógica y teorÃa de la ciencia) . ISBN : 978-84-283-1101-4 Incluye índice y bibliografía. Idioma : Español ( spa) | Clasificación: | 511.3 LÓGICA MATEMÁTICA | | Nota de contenido: | Cálculo de enunciados informal - Cálculo de enunciados formal - Cálculo de predicados informal - Cálculo de predicados formal - Sistemas matemáticos - El teorema de incompletitud de Godel - Computabilidad, insolubilidad, indecidibilidad - Conjuntos numerables y no numerables. |
|  |
Refinar búsquedaLógica para matemáticos / A. G. Hamilton
