Lógica matemática /
Diseñado para estudiantes avanzados de matemáticas, filosofía y computación, este libro provee una introducción a la vez accesible, vasta y técnicamente sólida a los temas centrales de la lógica proposicional clásica, así como a algunas de sus extensiones o variantes. En cada caso, parte de un enfoq...
Clasificación: | QA9 C3.77 |
---|---|
Autor principal: | |
Otros Autores: | |
Formato: | Libro |
Idioma: | Español |
Publicado: |
México, D. F. :
Universidad Autónoma Metropolitana, Unidad Iztapalapa,
2011.
|
Temas: |
Tabla de Contenidos:
- v.1. Lógica proposicional, intuicionista y modal.
- v.2. Clásica, intuicionista y modal.