scientific article

From MaRDI portal

Publication:3791152

Jump to:navigation, search

zbMath0647.03052MaRDI QIDQ3791152

V. P. Chernov

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

continuous maps approximations function space partial recursive functions separable metric space neighbourhood space constructive spaces dialogical spaces pointfree maps r.e. sets of answers

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3791152&oldid=17356531"