Constructibility and mathematical existence /
Chihara, Charles S.
Oxford : Clarendon,
1990.
Mathematics