LEADER 01004nam0-2200337li-450 001 990000160610203316 005 20180312154644.0 010 $a0-471-61546-3 035 $a0016061 035 $aUSA010016061 035 $a(ALEPH)000016061USA01 035 $a0016061 100 $a20001109d1987----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aLogic for computer science$efoundations of automatic theorem proving$fJean H. Gallier 210 $aNew York [etc.]$cJohn Wiley & Sons$dcopyr. 1987 610 1 $alogica simbolica 676 $a511.3$9. 700 1$aGallier,$bJean H.$065693 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000160610203316 951 $a511.3 GAL$b0004738 959 $aBK 969 $aTEC 979 $c19940606 979 $c20001110$lUSA01$h1712 979 $c20020403$lUSA01$h1623 979 $aPATRY$b90$c20040406$lUSA01$h1612 996 $aLogic for computer science$91488570 997 $aUNISA LEADER 02152nam a2200361 a 4500 001 991001196459707536 008 110506m it 001 0 ita 035 $ab13976126-39ule_inst 040 $aDip.to Studi Storici$bita 082 04$a327.4550457 245 10$aCorrispondenza degli ambasciatori fiorentini a Napoli 260 $aNapoli :$bCAR [poi] Laveglia & Carlone,$c[2002]- 300 $a v. ;$c25 cm. 440 0$aFonti per la storia di Napoli aragonese.$nSer. 2. ;$v1-2,4,6 505 00$g1:$tGiovanni Lanfredini (13 aprile 1484-9 maggio 1485) /$ra cura di Elisabetta Scarton. - [2005].$g- lxiii, 721 p. 505 00$g2:$tGiovanni Lanfredini (maggio 1485-ottobre 1486) /$ra cura di Elisabetta Scarton. - [2002].$g- xcv, 812 p. 505 00$g4:$tFrancesco Valori (agosto 1487-giugno 1488), Piero Vettori (giugno 1488-giugno 1489) /$ra cura di Patrizia Meli. - [2011].$g- lii, 531 p. 505 00$g6:$tPiero Nasi (10 aprile 1491-22 novembre 1491), Antonio Della Valle (23 novembre 1491-25 gennaio 1492) e Niccolò Michelozzi (26 gennaio 1492-giugno 1492) /$ra cura di Bruno Figliuolo e Sabrina Marcotti. - [2004].$g- lix, 475 p. 651 4$aFirenze e Regno di Napoli <1266-1815>$y1484-1494$vFonti archivistiche 700 1 $aScarton, Elisabetta 700 1 $aMeli, Patrizia 700 1 $aFigliuolo, Bruno 700 1 $aMarcotti, Sabrina 710 2 $aIstituto italiano per gli studi storici 907 $a.b13976126$b02-04-14$c06-05-11 912 $a991001196459707536 945 $aLE023 327.455 COR 1 1$g1$i2023000085318$lle023$o-$pE75.00$q-$rn$s- $t0$u1$v0$w1$x0$y.i14229018$z03-05-06 945 $aLE023 327.455 COR 1 2$g1$i2023000085325$lle023$o-$pE100.00$q-$rn$s- $t0$u1$v0$w1$x0$y.i14229031$z03-05-06 945 $aLE023 327.455 COR 1 4 $g1$i2023000126547$lle023$o-$pE70.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15263411$z05-05-11 945 $aLE023 327.455 COR 1 6$g1$i2023000085332$lle023$o-$pE70.00$q-$rn$so $t0$u0$v0$w0$x0$y.i14229043$z03-05-06 996 $aCorrispondenza degli ambasciatori fiorentini a Napoli$9246838 997 $aUNISALENTO 998 $ale023$b06-05-11$cm$da $e-$fita$git $h0$i0