LEADER 01069nam--2200349---450-
001 990000350780203316
035   $a0035078
035   $aUSA010035078
035   $a(ALEPH)000035078USA01
035   $a0035078
100   $a20010307d1982----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAxiomatising the logic of computer programming$fRobert Goldblatt
210   $aBerlin$cSpringer Verlag$d1982
215   $aXI, 304 p.$cgraf.$d24 cm
225 2 $aLecture notes in computer science$v130
410  1$12001$aLecture notes in computer science$v130
461  1$1001-------$12001
676   $a001.642
700  1$aGOLDBLATT,$bRobert$047246
801  0$aIT$bsalbc$gISBD
912   $a990000350780203316
951   $a001 LNCS 130$b2817 SM$c001 LNCS$d00101514
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010307$lUSA01$h1103
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aAxiomatising the logic of computer programming$9878440
997   $aUNISA

LEADER 01006nam0-2200385-i-450 
001 990005624760403321
005 20251117091317.0
035   $a000562476
035   $aFED01000562476
035   $a(Aleph)000562476FED01
035   $a000562476
100   $a19991006d1975----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aaf------001yy
200 1 $aMoretti$fRenato Bonelli
210   $aRoma$cEditalia$d1975
215   $a22 p., 32 tav.$d24 cm
225 1 $aAccademici di San Luca$v4
516 1 $aLuigi Moretti
610 0 $aMoretti, Luigi
676   $a720.945$v21$zita
700  1$aBonelli,$bRenato$024102
702  1$aMoretti,$bLuigi
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005624760403321
952   $aLEPORE 9$b9/2021$fFARBC
952   $a720.945 MOR 1$bST.ARTE 12709$fFLFBC
952   $aDE FUSCO 1716$bRDF 1775$fDARST
959   $aDARST
959   $aFARBC
959   $aFLFBC
996   $aMoretti$9603984
997   $aUNINA