Constructive mathematics.

Apartness and uniformity = a constructive development / by: (書目-電子資源)

Essays in Constructive Mathematics by: (書目-電子資源)

Constructibility and Mathematical Existence by: (書目-電子資源)

Phenomenology, logic, and the philosophy of mathematics by: (書目-電子資源)

Mathematics- Philosophy.

Phenomenology.

Topology.

Mathematics.

Logic, Symbolic and mathematical.

Analysis.

Algebraic Geometry.

Intuitionistic mathematics.

Theory of Computation.

Mathematics of Computing.

Computer Science.

Constructive mathematics.

Mathematics, general.

Number Theory.

Mathematical Logic and Foundations.

Algebra.

Sequences, Series, Summability.