Re:Ask HN: Math subfields important to become a distributed ...
by agentultra on Saturday February 08, 2020 @06:16PM
(#22279296)
Logic, predicate calculus, and temporal logic for a start.
[ Parent
| on HN ]