LEADER 00701nam0-22003011i-450-
001 990000605520403321
005 20001010
035   $a000060552
035   $aFED01000060552
035   $a(Aleph)000060552FED01
035   $a000060552
100   $a20001010d--------km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $aARCHIVIO EDILE$fS.A.E.T.
210   $as.l.$cs.e.$ds.d.
300   $aVol. I : 1968
610 0 $aNorme
610 0 $aTabelle
610 0 $aManuali
710 02$aS.A.E.T.
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000605520403321
952   $a07 O-33/D$b3461$fDINSC
959   $aDINSC
997   $aUNINA
DB    $aING01

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

LEADER 01948nas  2200565-  450 
001 9910892254003321
005 20230330002039.0
011   $a2748-5161
035   $a(DE-599)ZDB3063269-9
035   $a(CKB)5140000000022428
035   $a(CONSER)--2022224769
035   $a(EXLCZ)995140000000022428
100   $a20200716a20199999  ---         b
101 0 $ager
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aMedium Buch $eWolfenbütteler interdisziplinäre Forschungen /$fim Zusammenarbeit mit dem Wolfenbütteler Arbeitskreis für Bibliotheks-, Buch- und Mediengeschichte herausgegeben von der Herzog August Bibliothek
210  1$aWiesbaden :$cHarrassowitz Verlag,$d[2020]-
215   $a1 online resource
300   $aEach issue also has a distinctive theme title.
311 08$aPrint version: Medium Buch : 2699-9625 (DLC)  2022224769 (OCoLC)1165409111 
606   $aBooks$vPeriodicals
606   $aBibliography$vPeriodicals
606   $aBooks$xBibliography$vPeriodicals
606   $aLivres$vPériodiques
606   $aBibliographie$vPériodiques
606   $aLivres$xBibliographie$vPériodiques
606   $aBibliography$2fast$3(OCoLC)fst00831351
606   $aBooks$2fast$3(OCoLC)fst00836401
606   $aBuchdruck$2gnd
608   $aBibliographies.$2fast
608   $aPeriodicals.$2fast
608   $aPeriodicals.$2lcgft
615  0$aBooks
615  0$aBibliography
615  0$aBooks$xBibliography
615  6$aLivres
615  6$aBibliographie
615  6$aLivres$xBibliographie
615  7$aBibliography.
615  7$aBooks.
615  7$aBuchdruck.
712 02$aHerzog August Bibliothek,
712 02$aWolfenbu?tteler Arbeitskreis fu?r Bibliotheks-, Buch- und Mediengeschichte,
906   $aJOURNAL
912   $a9910892254003321
920   $aexl_impl conversion
996   $aMedium Buch$94250790
997   $aUNINA