The following pages link to New Computational Paradigms (Q5717026):
Displaying 4 items.
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- A logical approach to abstract algebra (Q3422024) (← links)
- (Q3469090) (← links)
- An axiomatic approach to algebrization (Q5172767) (← links)