Morse set theory as a foundation for constructive mathematics
| Autor: | Bridges, Douglas S. |
|---|---|
| Zdroj: | In Theoretical Computer Science 3 September 2022 928:115-135 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bridges, Douglas S. |
|---|---|
| Zdroj: | In Theoretical Computer Science 3 September 2022 928:115-135 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect