Constructive mathematics.

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: (書目-語言資料,印刷品)

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

Modality (Logic)

Fuzzy mathematics.

Theory of Computation.

Approximations and Expansions.

Mathematics of Computing.

Measure and Integration.

Computer Science.

Constructive mathematics.

Mathematics, general.

Operator Theory.

Algorithms.

Algebra.

Mathematical Logic and Foundations.

Number Theory.

Information and Communication, Circuits.

Sequences, Series, Summability.

Approximation theory.

Phenomenology.

Topology.

Operator theory.

Computational complexity.

Mathematics.

Logic, Symbolic and mathematical.

Analysis.

Algebraic Geometry.

Intuitionistic mathematics.

Mathematics