Index Catalog // Hyrax

Filtro per: Parola chiave Lógica intuicional Soggetto Lógica matemática

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

Descrizione:	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...
Soggetto:	Lógica matemática and Logic, Symbolic and mathematical
Creatore:	Villegas Silva, Luis Miguel and Fernández de Castro Tapia, José Jorge Max
Editore:	Universidad Autónoma Metropolitana
Lingua:	spa
Año de publicación:	2011
Diritti:	Acceso Abierto
Licenza:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/book