Some questions in constructive functional analysis

zbMath0282.02010MaRDI QIDQ1843426

Phan Dinh Dieu

Publication date: 1974

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Distributions, generalized functions, distribution spaces (46Fxx) Topological linear spaces and related structures (46Axx)

Related Items (1)

On a finitary version of mathematical analysis

This page was built for publication: Some questions in constructive functional analysis