scientific article; zbMATH DE number 221856
From MaRDI portal
Publication:4697298
zbMath0780.03028MaRDI QIDQ4697298
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Foundations: limits and generalizations, elementary topology of the line (26A03) Metamathematics of constructive systems (03F50) Constructive real analysis (26E40) Constructive functional analysis (46S30)
Related Items (1)
This page was built for publication: