Showing 1 - 4 results of 4 for search '"logicism"', query time: 0.02s Refine Results
  1. 1
    Article of journal
    Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
    Por Bohórquez, Jaime
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Subjects: “...Intuitionistic logic...”
    Get full text
  2. 2
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Dijkstra-Scholten logic...”
    Get full text
  3. 3
    Part of book
    Axiomatic Set Theory à la Dijkstra and Scholten
    Por Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Subjects: “...Dijkstra-Scholten logic...”
    Get full text
    Get full text
  4. 4
    Article of journal
    An elementary and unified approach to program correctness
    Por Bohórquez, Jaime
    Published in 2009
    Repositorio Repositorio Institucional ECI

    “... to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative...”
    Get full text
Search Tools: Get RSS Feed — Email this Search