Login / Signup

Morse set theory as a foundation for constructive mathematics.

Douglas S. Bridges
Published in: Theor. Comput. Sci. (2022)
Keyphrases