LEADER 00936nam0-2200325li-450 
001 990000152130203316
005 20180312154839.0
035   $a0015213
035   $aUSA010015213
035   $a(ALEPH)000015213USA01
035   $a0015213
100   $a20001109d1973----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aFormal languages$fArto Salomaa
210   $aNew York$cAcademic Press$d1973
215   $aXIII, 322 p.$cill.$d23 cm
676   $a5113$9Logica simbolica (Logica matematica)
700  1$aSalomaa,$bArto$025836
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000152130203316
951   $a001 ACM 10 (B)$b0010183
959   $aBK
969   $aSCI
979   $c19900928
979   $c20001110$lUSA01$h1712
979   $c20020403$lUSA01$h1623
979   $aPATRY$b90$c20040406$lUSA01$h1611
996   $aFormal languages$9340665
997   $aUNISA