TY  - BOOK
AU  - Chihara, Charles S.
TI  - Constructibility and Mathematical Existence
SN  - 0-19-824817-2
U1  - 511/CHI/C 
KW  - Constructive mathematics|Logic, symbolic and mathematical|Deductive system
KW  - Mathematics - Philosophy
N1  - 3874; Mathematics - Philosophy
ER  -