Ricerca

Risultati della ricerca

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

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

  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
    Soggetto: Lógica matemática, Axiomas, Logic, symbolic and mathematical, and Axioms
    Creatore: Benítez Oliva, José Alberto
    Collaboratore: Casanueva López, Mario Eugenio José, Torres Falcón, Yolanda Magda, and Amor Montaño, José Alfredo
    Editore: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Humanidades Filosofia
    Lingua: spa
    Año de publicación: 2000
    Diritti: Acceso Abierto
    Licenza: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/masterThesis
    Identifier: https://doi.org/10.24275/uami.j3860720b