LEADER 01090nam1 2200277 i 450 
001 VAN0050956
005 20160411123236.283
010   $a01-985373-5-2
100   $a20060904d1992       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aHandbook of logic in computer science$fedited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
210   $aOxford$cClarendon$d1992- 
215   $av.$d24 cm.
463  1$1001VAN0050957$12001 $aˆ1: ‰Background$emathematical structures$fS. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors$gvolume co-ordinator Dov M. Gabbay$1210  $aOxford$cClarendon$d1992$1215  $aXII, 827 p.$d24 cm.$v1
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$c20230616$gRICA
912   $aVAN0050956
996   $aHandbook of logic in computer science$91407078
997   $aUNICAMPANIA