LEADER 01753nam0 2200325 i 450 
001 SUN0053035
005 20170920121902.119
010   $a05-214-5205-8$d0.00
010   $a978-05-214-5205-2
100   $a20060922d1995       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Bounded arithmetic, propositional logic and complexity theory$fJan Krajícek
210   $aCambridge$cCambridge university$d1995
215   $aXIV, 343 p.$cill.$d24 cm.
410  1$1001SUN0023636$12001 $aEncyclopedia of mathematics and its applications$v60$1210  $aCambridge$cCambridge university$d1976-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03D15$xComplexity of computation [MSC 2020]$2MF$3SUNC023630
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
620   $dCambridge$3SUNL000024
700  1$aKrajicek$b, Jan$3SUNV041836$0477381
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20200720$gRICA
856 4 $uhttps://books.google.it/books?id=6XkgKydE0Z8C&printsec=frontcover&dq=Bounded+arithmetic+propositional+logic+and+complexity+theory&hl=it&sa=X&ved=0ahUKEwitl6GvxLPWAhWCwBQKHX-0CZIQ6AEIJjAA#v=onepage&q&f=false$zPreview
912   $aSUN0053035
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   2261        $e08   4080      I a     20060922            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2261        $e08   4454      I b     20060922            
996   $aBounded arithmetic, propositional logic, and complexity theory$9911670
997   $aUNICAMPANIA