Constructibility and mathematical existence - Chihara, Charles S. (Oxford : Clarendon Press, 1990)
Includes bibliographical references and index
Keywords: Mathematics -- Philosophy; Constructive mathematics; Logic, Symbolic and mathematical