01140nam a2200289 a 4500 vtls000060482 KUKTEM 20251125093223.0 120528t1995 enk f b 001 0 eng d 9780521452052 0521452058 201209281617 fauzi 201205281525 safura UMP QA9.56 .K73 1995 Krajíˆcek, Jan Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995 xiv, 343 p. ; 24 cm. Encyclopedia of mathematics and its applications Includes bibliographical references (p. 327-334) and indexes Constructive mathematics Proposition (Logic) Computational complexity Encyclopedia of mathematics and its applications Table of contents http://www.loc.gov/catdir/toc/cam024/94047054.html 0 0 0 0 20000 20000 2019-09-04 484.52 0 QA9.56 .K73 1995 0000066902 2019-09-04 00:00:00 1 484.52 2019-09-04 OPEN VIRTUA40 62560 62566 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4900*5040*6500*6501*6502*8300*8560*9992