nLab B. Banaschewski

Bernhard Banaschewski

Selected writings

On the Stone-Weierstrass theorem in constructive mathematics:

On the Boolean algebra underlying Spencer Brown’s “Laws of form”:

category: people

Last revised on October 12, 2022 at 10:21:25. See the history of this page for a list of all contributions to it.