01120nam a2200313 i 450099100078366970753620020507173534.0940715s1990 uk ||| | eng 0198239750b10756760-39ule_instLE01302267ExLDip.to Matematicaeng511QAB.4.C45Chihara, Charles S.59784Constructibility and mathematical existence /Charles S. ChiharaOxford :Clarendon Press,1990xv, 282 p. :ill. ;23 cm.Includes bibliographical references (p. [273]-278) and indexConstructive mathematicsMathematical logicMathematics-philosophySymbolic logic.b1075676019-10-0628-06-02991000783669707536LE013 00A CHI21 (1990)12013000008981le013-E0.00-l- 05050.i1085115x28-06-02Constructibility and mathematical existence383100UNISALENTOle01301-01-94ma -enguk 01