Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
From MaRDI portal
Publication:4135475
DOI10.1002/malq.19760220139zbMath0362.02021OpenAlexW2169725455MaRDI QIDQ4135475
Publication date: 1976
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19760220139
Related Items
Spreads or choice sequences?, Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem, Validity and quantification in intuitionism, Unnamed Item, Sequences of real functions on [0,1 in constructive reverse mathematics]
