Loading…

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...

Full description

Bibliographic Details
Call Number:QA9 C3.77
Main Author: Castro Tapia, Max Fernández (autor)
Other Authors: Villegas Silva, Luis Miguel (autor)
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.