LEADER 01606nam2 22003973i 450 
001 MIL0138960
005 20251003044225.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$3CFIC002969$9E
606   $aLogica simbolica$2FIR$3SBLC002225$9I
606   $aLogica matematica$2FIR$3CFIC000378$9E
676   $a004$9ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA$v14
676   $a004$9Informatica$v22
696   $aScienza degli elaboratori
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aInformatica$yScienza degli elaboratori
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
702  1$aGabbay$b, Dov M.$3UFIV060549
790  1$aGabbay$b, Dov$3UFIV060551$zGabbay, Dov M.
801  3$aIT$bIT-000000$c20080430
850   $aIT-BN0095          
912   $aMIL0138960
950  2$aBiblioteca Centralizzata di Ateneo$cv. 1-2$d 01SALA DING 004                     HANOLI$e 0102 0000013755  VMA A4(0002               v. 2$fY $h20080430$i20080430
977   $a 01
996   $aBackground$9887077
997   $aUNISANNIO