I'm starting to have an interest in Heyting Algebras and their application in topological spaces. Is there any paper/reference which gives a history based exposition of it's ideas?
$\begingroup$
$\endgroup$
1
-
$\begingroup$ Moschovakis, The Logic of Brouwer and Heyting $\endgroup$– ConifoldMay 27 at 3:31
Add a comment
|