scientific article
From MaRDI portal
Publication:3317103
zbMath0534.03029MaRDI QIDQ3317103
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuous functionsconstructive analysiscovering of the closed unit intervallextension of the first order intuitionistic predicate calculusMarkov's calculus
Other constructive mathematics (03F65) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
This page was built for publication:
