scientific article
From MaRDI portal
Publication:3869344
zbMath0432.03035MaRDI QIDQ3869344
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Church's thesisnegative translationDedekind realsconstructive Banach spacesconstructive order completionextended realsintuitionistic continuity principles
Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items (1)
This page was built for publication: