scientific article; zbMATH DE number 1301805
From MaRDI portal
Publication:4247023
zbMath0940.03068MaRDI QIDQ4247023
Publication date: 24 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items (3)
Pluralism in mathematics ⋮ Reverse formalism 16 ⋮ Constructive mathematics: a foundation for computable analysis
This page was built for publication: