Phenomenology, logic, and the philosophy of mathematics /
Tieszen, Richard L.
Cambridge : Cambridge University Press,
2005.
Includes bibliographical references (p. 337-348) and index.
Mathematics
Phenomenology.
Logic, Symbolic and mathematical.
Constructive mathematics.
Intuitionistic mathematics.