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...
Call Number: | QA9 C3.77 |
---|---|
Main Author: | |
Other Authors: | |
Format: | Book |
Language: | Español |
Published: |
México, D. F. :
Universidad Autónoma Metropolitana, Unidad Iztapalapa,
2011.
|
Subjects: |
Table of Contents:
- v.1. Lógica proposicional, intuicionista y modal.
- v.2. Clásica, intuicionista y modal.