From Intuitionistic Mathematics to Point-Free Topology

Tatsuji Kawai

2021WORLD SCIENTIFIC eBooks19 citationsDOI

Topics & Concepts

MathematicsPoint (geometry)Topology (electrical circuits)Pure mathematicsCombinatoricsGeometryComputability, Logic, AI Algorithms