0 пceвдoдиффepeцируйemoctи пceвдоравномерно нeпpepывных кoнструктивных функций пo функцияm тoгo жe типa
A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference.
A constructive “Closed subgroup theorem” for localic groups and groupoids
A continuous, constructive solution to Hilbert's 17th problem.
A left compatible coequality relation on a semigroup with apartness.
A note of a family of quasi-antiorders on semigroup
A note on frame distributions
A note on the quasi-antiorder in a semigroup.
A Theorem on Anti-ordered Factor-semigroups
A theory of local negation: the model and some applications.
A well-ordering proof for Feferman's theory To.
Algorithmic Constructions Inspired By Caporaso
Algorithmic constructions inspired by Caporaso.
Constructive analysis and thermodynamics formulations.
Constructive Coordinatization of Desarguesian Planes.
Constructive irrational space.
Cлабая сходимость в конструктивной математике
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
Ein Algorithmus zur automatischen Lösung konstruktiver Problemstellungen
On quasi-antiorder in semigroups