Compactness in constructive analysis revisited - Concepedia

Concepedia

Publication | Closed Access

Compactness in constructive analysis revisited

29

Citations

4

References

1987

Year

Christoph Kreitz, Klaus Weihrauch

Annals of Pure and Applied Logic

Constructive MathematicsConstructive AnalysisAutomated ReasoningSet-theoretic TopologyTopological Property

References

	Year	Citations

Page 1