Constructibility and mathematical existence / Charles S. Chihara. Oxford : Clarendon Pr., 1991