LEADER 01374nam2 22003373i 450 
001 MIL0138960
005 20240503062414.0
010   $a0198537611
100   $a20080430d1992    ||||0itac50      ba
101 | $aeng
102   $agb
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $a˜Vol. 2: œBackground$ecomputational structures$fvolume co-ordinator Dov M. Gabbay
210   $aOxford$cClarendon press$d1992
215   $aX, 571 p.$d24 cm.
461  1$1001MIL0138942$12001 $aHandbook of logic in computer science$fedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum$v2
606   $aInformatica$2FIR$3NAPC000625$9I
606   $aLogica simbolica$2FIR$3NAPC147266$9I
606   $aLogica matematica$2FIR$3NAPC000388$9I
676   $a004$9ELABORAZIONE DEI DATI - SCIENZA DEGLI ELABORATORI - INFORMATICA$v14
676   $a004$9ELABORAZIONE DEI DATI, SCIENZA DEGLI ELABORATORI, INFORMATICA$v22
702  1$aGabbay$b, Dov M.$3UFIV060549
790  1$aGabbay$b, Dov$3UFIV060551$zGabbay, Dov M.
801  3$aIT$bIT-NA0079$c20080430
850   $aIT-BN0095          
912   $aMIL0138960
950  2$aBiblioteca Centralizzata di Ateneo$bv. 1-2$cv. 1-2$d 01SALA DING 004                     HANOLI$e 0102 0000013755    B A4(0002               v. 2$f3 $h20080430$i20080430
977   $a 01
996   $aBackground$9887077
997   $aUNISANNIO