LEADER 01396nam2-2200433li-450 
001 990000235600203316
005 20180918155407.0
010   $a0-444-87406-2
035   $a0023560
035   $aUSA010023560
035   $a(ALEPH)000023560USA01
035   $a0023560
100   $a2001993121989-------y0itay0103----ba
101 0 $aeng
102   $aNE
200 1 $aComputability complexity logic$fE. Börger
210   $aAmsterdam [etc.]$cNoth-Holland$d1989
215   $aXX, 592 p.$cill.$d22 cm
225  2$aStudies in logic and the foundations of mathematics$v128
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v128
610 1 $aAlgoritmi
610 1 $aComplessitā computazionale
676   $a511.3$9Logica simbolica (Logica matematica)
700  1$aBÖRGER,$bEgon$051951
801   $aIT$bsalbc$gISBD
912   $a990000235600203316
951   $a510 SL 128$b15366/CBS$c510$d00218677
959   $aBK
969   $aSCI
979   $c19931228
979   $c20001110$lUSA01$h1715
979   $c20020403$lUSA01$h1631
979   $aPATRY$b90$c20040406$lUSA01$h1617
979   $aPATRY$b90$c20061003$lUSA01$h1548
979   $aRSIAV7$b90$c20090428$lUSA01$h0941
979   $aRSIAV6$b90$c20091110$lUSA01$h1132
979   $aRSIAV6$b90$c20091110$lUSA01$h1136
996   $aComputability, complexity, logic$9344226
997   $aUNISA