Constructive mathematics.

Phenomenology, logic, and the philosophy of mathematics / by: (Language materials, printed)

Constructibility and Mathematical Existence by: (Language materials, printed)

Essays in Constructive Mathematics by: (Language materials, printed)

Apartness and uniformity = a constructive development / by: (Language materials, printed)

Foundations of algorithms / by: (Language materials, printed)

Foundations of algorithms using C++ pseudocode / by: (Language materials, printed)

Intentional mathematics by: (Language materials, printed)

Approximation by max-product type operators by: (Language materials, printed)

Modality (Logic)

Theory of Computation.

Measure and Integration.

Algorithms.

Mathematical Logic and Foundations.

Sequences, Series, Summability.

Computational complexity.

Mathematics.

Intuitionistic mathematics.

Mathematics, general.

Operator Theory.

Algebra.

Fuzzy mathematics.

Approximations and Expansions.

Mathematics of Computing.

Computer Science.

Constructive mathematics.

Number Theory.

Information and Communication, Circuits.

Approximation theory.

Phenomenology.

Topology.

Operator theory.

Logic, Symbolic and mathematical.

Analysis.

Algebraic Geometry.

Mathematics