LEADER 01723nam0 2200325 i 450 
001 VAN0053035
005 20240208121816.774
010   $a05-214-5205-8
010   $a978-05-214-5205-2
100   $a20060922d1995       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aBounded arithmetic, propositional logic and complexity theory$fJan Krajícek
210   $aCambridge$cCambridge university$d1995
215   $aXIV, 343 p.$cill.$d24 cm
410  1$1001VAN0023636$12001 $aEncyclopedia of mathematics and its applications$1210  $aCambridge$cCambridge university$v60
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF
620   $dCambridge$3VANL000024
700  1$aKrajicek$bJan$3VANV041836$0477381
712   $aCambridge university <editore>$3VANV107986$4650
801   $aIT$bSOL$c20240209$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   $aVAN0053035
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS      03-XX                   2261        $e08   4080      I a     20060922            
950   $aBIBLIOTECA 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