scientific article; zbMATH DE number 2013198
From MaRDI portal
Publication:4436365
zbMath1026.03503MaRDI QIDQ4436365
Publication date: 4 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70) Metamathematics of constructive systems (03F50)
Related Items (3)
Equivalence is in the eye of the beholder ⋮ Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics ⋮ Markov's constructive analysis; a participant's view
This page was built for publication:
