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 01