LEADER 01149nam--2200385---450-
001 990000329450203316
005 20090421131125.0
010   $a0-7923-5627-6
035   $a0032945
035   $aUSA010032945
035   $a(ALEPH)000032945USA01
035   $a0032945
100   $a20010125d1999----km-y0itay0103----ba
101   $aeng
102   $aUS
105   $a||||||||001yy
200 1 $aHandbook of tableau methods$fedited by Marcello D'Agostino ... <et al.>
210   $aDordrecht$cKluwer Academic Publishers$dc1999
215   $aVIII, 670 p.$cill.$c20 cm
610 0 $aLogica simbolica
610 0 $aLogica matematica
676   $a511.3
702  1$aD'AGOSTINO,$bMarcello
801  0$aIT$bsalbc$gISBD
912   $a990000329450203316
951   $a511.3 HAN$b25424/CBS$c511.3$d00100400$d00100400
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010125$lUSA01$h1324
979   $aPATTY$b90$c20010201$lUSA01$h1211
979   $c20020403$lUSA01$h1641
979   $aPATRY$b90$c20040406$lUSA01$h1623
979   $aRSIAV6$b90$c20090421$lUSA01$h1311
996   $aHandbook of tableau methods$9879769
997   $aUNISA