LEADER 01602nam2-2200433li-450 
001 990000204170203316
005 20180312154612.0
010   $a3-540-57184-1
035   $a0020417
035   $aUSA010020417
035   $a(ALEPH)000020417USA01
035   $a0020417
100   $a20001109d1993----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aComputational logic and proof theory$ethird Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993$eproccedings$fGeorge Gottlob (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1993
215   $aXI, 348 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v713
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$abrno$a1993
610 1 $aelaboratori elettronici$acongressi$a1993
610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1993
610 1 $alogica matematica$acongressi$a1993
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
702  1$aGottlob,$bGeorg
710 12$aKurt Gödel colloquium KGC'93$d3.$eBrno$f1993$0745712
801   $aSistema bibliotecario di Ateneo dell' Universitŕ di Salerno$gRICA
912   $a990000204170203316
951   $a001 LNCS (713)$b0015272$c001$d00102965
959   $aBK
969   $aSCI
979   $c19941007
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010129$lUSA01$h1648
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aComputational logic and proof theory$91487570
997   $aUNISA

LEADER 01562nam  2200373 n 450 
001 996385232103316
005 20200824121336.0
035   $a(CKB)4940000000071154
035   $a(EEBO)2240906748
035   $a(UnM)99851746e
035   $a(UnM)99851746
035   $a(EXLCZ)994940000000071154
100   $a19920410d1612      uh             |
101 0 $aeng
135   $aurbn||||a|bb|
200 14$aThe rates of marchandizes$b[electronic resource] $eas they are set downe in the booke of rates, for the custome and subsidie of poundage, and for the custome and subsidie of clothes: the same being signed by the Kings Maiestie, and sealed with the great Seale of England, and remaining in his Highnesse Court of Exchequer at Westminster: and by speciall commaundement from his Maiestie published in print, for the direction of such as it may concerne
210   $a[London $cF. Kingston$d1612]
215   $a[2], 6, 12, [88] p
300   $aPrinter's name and publication date from STC.
300   $aA revised edition of STC 7690.5.
300   $aReproduction of the original in the Bodleian Library.
330   $aeebo-0014
606   $aTariff$zEngland$xLaw and legislation
607   $aGreat Britain$xHistory$yJames I, 1603-1625
615  0$aTariff$xLaw and legislation.
712 02$aEngland and Wales.$bSovereign (1625-1649 : Charles I)
801  0$bCu-RivES
801  1$bCu-RivES
801  2$bCStRLIN
801  2$bWaOLN
906   $aBOOK
912   $a996385232103316
996   $aThe rates of marchandizes$92320976
997   $aUNISA