Constructibility and mathematical existence / - Chihara, Charles S. (Clarendon Press, 1990)