Publication:5310874
From MaRDI portal
zbMath1120.03046MaRDI QIDQ5310874
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_suprema
03F60: Constructive and recursive analysis
Related Items
Intuitionistic mereology. II: Overlap and disjointness, Lebesgue's dominated convergence theorem in Bishop's style