Topology and logic as a source of algebra (1976) | Not Hacker News!