Rathjen, M and Tupailo, S (Accepted: 2019) On the strength of the uniform fixed point principle in intuitionistic explicit mathematics. In: Kahle, R and Rathjen, M, (eds.) The Legacy of Kurt Schütte. . (In Press)
Metadata
| Authors/Creators: |
|
||||
|---|---|---|---|---|---|
| Dates: |
|
||||
| Institution: | The University of Leeds | ||||
| Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) | ||||
| Funding Information: |
|
||||
| Depositing User: | Symplectic Publications | ||||
| Date Deposited: | 07 Jan 2020 10:12 | ||||
| Last Modified: | 07 Jan 2020 10:12 | ||||
| Status: | In Press |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)