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

LEADER 00920nam0 22002531i 450 
001 UON00102619
005 20231205102600.230
100   $a20020107d1979       |0itac50      ba
101   $aurd
102   $aIN
105   $a||||    1||||
200 1 $a'Alamat$fHoshyarpuri Axtar
210   $aRavalpindi$cAdabi Akadmi$d1979
215   $a160 p.$d22 cm
620   $dRawalpindi$3UONL001155
686   $aSI VI DC$cSUBCONT. INDIANO - LETTERATURA URDU - MODERNA E CONTEMPORANEA - POESIA$2A
700  1$aAXTAR$bHoshyarpuri$3UONV065784$0664731
712   $aAdabi Akademi$3UONV260960$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00102619
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI SI        VI                      DC          308                 $eSI SA 65176    5        308                 
996   $aAlamat$91311340
997   $aUNIOR