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