LEADER 01548nam2 2200325 i 450 
001 SUN0050957
005 20160411123447.222
010   $a01-985373-5-2
100   $a20060904d1992       |0engc50      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$1001SUN0050956$12001 $aHandbook of logic in computer science$fedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum$v1$1210  $aOxford$cClarendon$d1992- $1215  $av.$d24 cm.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $aGB$dOxford$3SUNL000020
702  1$aGabbay$b, Dov M.$3SUNV040027
702  1$aAbramsky$b, Samson$3SUNV040029
702  1$aMaibaum$b, Thomas S. E.$3SUNV040030
712   $aClarendon$3SUNV000098$4650
790  1$aGabbay, D.$zGabbay, Dov M.$3SUNV040028
801   $aIT$bSOL$c20200720$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Abramsky, Gabbay, Maibaum - Handbook of logic in computer science - vol. 1 - Background. mathematical structures.pdf$zContents
912   $aSUN0050957
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0022        $e08   6679      I       20060904            
996   $aBackground$9887077
997   $aUNICAMPANIA