LEADER 01628nam2 2200337 i 450 
001 VAN00050957
005 20240806100454.823
010   $a01-985373-5-2
100   $a20060904d1992       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aˆ1: ‰Background$emathematical structures$fS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors$gvolume co-ordinator Dov M. Gabbay
210   $aOxford$cClarendon$d1992
215   $aXII, 827 p.$d24 cm
461  1$1001VAN00050956$12001 $aHandbook of logic in computer science$fedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum$1210  $aOxford$cClarendon$d1992- $1215  $av.$d24 cm.$v1
606   $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
620   $aGB$dOxford$3VANL000020
702  1$aAbramsky$bSamson$3VANV040029
702  1$aGabbay$bDov M.$3VANV040027
702  1$aMaibaum$bThomas S. E.$3VANV040030
712   $aClarendon <editore>$3VANV107988$4650
790  1$aGabbay, D.$zGabbay, Dov M.$3VANV040028
801   $aIT$bSOL$c20240906$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Abramsky, Gabbay, Maibaum - Handbook of logic in computer science - vol. 1 - Background. mathematical structures.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00050957
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0022        $e08   6679      I       20060904            
996   $aBackground$9887077
997   $aUNICAMPANIA