Listar por tema "Manipulación simbólica"
Mostrando ítems 1-3 de 3
-
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 ... -
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 ...