Browsing by Subject "Manipulación simbólica"
Now showing items 13 of 3

Axiomatic Set Theory à la Dijkstra and Scholten
(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 ... 
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer NatureSuiza, 2017)The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ... 
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer NatureUSA., 2017)The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...