Constructive mathematics.

Phenomenology, logic, and the philosophy of mathematics / by: (書目-語言資料,印刷品)

Constructibility and Mathematical Existence by: (書目-語言資料,印刷品)

Essays in Constructive Mathematics by: (書目-語言資料,印刷品)

Apartness and uniformity = a constructive development / by: (書目-語言資料,印刷品)

Foundations of algorithms / by: (書目-語言資料,印刷品)

Foundations of algorithms using C++ pseudocode / by: (書目-語言資料,印刷品)

Intentional mathematics by: (書目-語言資料,印刷品)

Approximation by max-product type operators by: (書目-語言資料,印刷品)

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