LEADER 00940nam1 2200277 i 450 
001 SUN0050956
005 20160411123236.283
010   $a01-985373-5-2$d0.00
100   $a20060904d1992       |0engc50      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$1001SUN0050957$12001 $a<<1: >>Background$emathematical structures
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$c20181109$gRICA
912   $aSUN0050956
996   $aHandbook of logic in computer science$91407078
997   $aUNICAMPANIA