01234nam a2200325 i 450099100072236970753620020507172739.0001106s1995 uk ||| | eng 0521452058b10748222-39ule_instLE01301287ExLDip.to Matematicaeng511.3AMS 03FQA9.56.K73Krajícek, Jan477381Bounded arithmetic, propositional logic, and complexity theory /Jan KrajicekCambridge [England] ; New York :Cambridge University Press,1995xiii, 343 p. ;24 cm.Encyclopedia of mathematics and its applications ;60Includes bibliographical references and indexesComputational complexityConstructive mathematicsProposition (Logic).b1074822223-02-1728-06-02991000722369707536LE013 03F KRA11 (1995)12013000122847le013-E0.00-l- 00000.i1084067928-06-02Bounded arithmetic, propositional logic, and complexity theory911670UNISALENTOle01301-01-00ma -enguk 0100986nas 2200325- 450 991050293960332120230508213016.0(CKB)5300000000019983(CONSER)--2015218854(OCoLC)25612160(EXLCZ)99530000000001998320150923b19181924 k-- aengur|||||||||||txtrdacontentcrdamediacrrdacarrierThe Bridgeport times and evening farmerBridgeport, Conn. :The Farmer Publishing Co.,1918-1 online resourcePublisher: The Times Publishing Co., <January 2-December 30, 1922>.2381-0068 Bridgeport (Conn.)NewspapersConnecticutBridgeportfastNewspapers.fast071JOURNAL9910502939603321The Bridgeport times and evening farmer1899042UNINA