TY  - GEN
AU  - Chihara, Charles S.,
CN  - QA8.4
CY  - Oxford :
CY  - New York :
DA  - 1990.
ID  - 810832
KW  - Constructive mathematics.
KW  - Logic, Symbolic and mathematical.
KW  - Mathematics
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3053264
PB  - Clarendon Press ;
PB  - Oxford University Press,
PP  - Oxford :
PP  - New York :
PY  - 1990.
T1  - Constructibility and mathematical existence
TI  - Constructibility and mathematical existence
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3053264
ER  -