LEADER 01332nam2-2200409li-450 
001 990000202870203316
005 20180312154708.0
010   $a3-540-57935-4
035   $a0020287
035   $aUSA010020287
035   $a(ALEPH)000020287USA01
035   $a0020287
100   $a20001109d1994----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aLogic language and computation$fNeil D. Jones ... [et al.] (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994
215   $aXII, 269 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v792
410  0$10010020264$12001$aLecture notes in computer science
610 1 $aelaborazione elettronica
610 1 $alinguaggi di programmazione
610 1 $alogica matematica
676   $a005131$9Logica matematica (Logica simbolica)
702  1$aJones,$bNeil D.
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000202870203316
951   $a001 LNCS (792)$b0016323$c001$d00103114
959   $aBK
969   $aSCI
979   $c19950328
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010130$lUSA01$h1543
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aLogic, Language, and Computation$9772541
997   $aUNISA

LEADER 01063nam--2200349---450-
001 990002710250203316
005 20060214134213.0
010   $a2-251-01441-1
035   $a000271025
035   $aUSA01000271025
035   $a(ALEPH)000271025USA01
035   $a000271025
100   $a20060214d2005----km-y0itay0103----ba
101   $afre$alat
102   $aFR
105   $a||||||||001yy
200 1 $aGrammaire latine$fDosithée$gtexte établi, traduit et commenté par Guillame Bonnet
210   $aParis$cLes belles lettres$d2005
215   $aXXXVIII, 199 p.(2-98 doppie)$d20 cm
225 2 $aCollection des universités de France$iSér. latine
410  0$1001$aCollection des universités de France
676   $a475
700  1$aDOSITHEUS$0294412
702  1$aBONNET,$bGuillaume
801  0$aIT$bsalbc$gISBD
912   $a990002710250203316
951   $aV.3. COLL 20/116$b186364 L.M.$cV.3.$d00175892
959   $aBK
969   $aUMA
979   $aCHIARA$b90$c20060214$lUSA01$h1342
996   $aGrammaire latine$91001754
997   $aUNISA