Recherche

Résultats de recherche

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

    2801pg83v?file=thumbnail
    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

  2. De la abstracción simbólica a la fundamentación de la matemática: hacia una historia de los sistemas formales axiomatizados

    Gm80hv654?file=thumbnail
    Assujettir: Lógica matemática, Axiomas, Logic, symbolic and mathematical, and Axioms
    Créateur: Benítez Oliva, José Alberto
    Donateur: Casanueva López, Mario Eugenio José, Torres Falcón, Yolanda Magda, and Amor Montaño, José Alfredo
    Éditeur: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Humanidades Filosofia
    La langue: spa
    Año de publicación: 2000
    Déclaration des droits: Acceso Abierto
    Licence: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/masterThesis
    Identificateur: https://doi.org/10.24275/uami.j3860720b