Strict Constructivism and the Philosophy of Mathematics (1999)

by F Ye