Now showing items 1-1 of 1

    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta Gempeler, Ernesto; Aldana Gomez, Bernarda; Bohorquez Villamizar, Jaime Alejandro; Rocha Niño, Hernan Camilo (Springer VerlagAlemania, 2017)
      The algebraic approach by E. W. Dijkstra and C. S. Scholten to formallogic is a proof calculus, where the notion of proof is a sequence of equivalencesproved – mainly – by using substitution of ‘equals for equals’. This ...