Index Catalog // Hyrax

Filtrage par: Departamento Departamento de Matematicas Assujettir Lógica matemática

Lógica matemática II: clásica, intuicionista y modal

La description:	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 enfoque intuitivo que justifica...
Assujettir:	Lógica matemática and Logic, Symbolic and mathematical
Créateur:	Villegas Silva, Luis Miguel and Fernández de Castro Tapia, José Jorge Max
Éditeur:	Universidad Autónoma Metropolitana
La langue:	spa
Año de publicación:	2011
Déclaration des droits:	Acceso Abierto
Licence:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/book