LEADER 01273ntm  2200373Ia 450 
001 996387925203316
005 20221108075001.0
035   $a(CKB)1000000000625675
035   $a(EEBO)2240876323
035   $a(OCoLC)9959568500971
035   $a(EXLCZ)991000000000625675
100   $a20060118d1701      uy             0
101 0 $aeng
135   $aurbn||||a|bb|
200 10$aLetter Mr Richardson concerning Mr. S. offering to bribe him 17 sept 1701$b[electronic resource] $eFor John Baber Esq. in York buildings
210   $d[1701]
215   $a[4] p
300   $aDocket title.
300   $aIn ms.
300   $aHarleian mss. 7615 leaves 166-167.
300   $aReproduction of original in the British Library.
330   $aeebo-0018
606   $aSalt industry and trade$zGreat Britain$vEarly works to 1800
606   $aBribery$zGreat Britain$vEarly works to 1800
607   $aGreat Britain$xHistory$yWilliam and Mary, 1689-1702$vEarly works to 1800
615  0$aSalt industry and trade
615  0$aBribery
700   $aRichardson$b John$0215880
801  0$bUMI
801  1$bUMI
906   $aBOOK
912   $a996387925203316
996   $aLetter Mr Richardson concerning Mr. S. offering to bribe him 17 sept 1701$92407010
997   $aUNISA

LEADER 01480nam0 22003733i 450 
001 RMS0030072
005 20251003044343.0
010   $a0387969578$bNew York
010   $a3540969578$bBerlin
100   $a20081006d1990    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aPredicate calculus and program semantics$fEdsger W. Dijkstra, Carel S. Scholten
210   $aNew York [etc.]$cSpringer-Verlag$dc1990
215   $aX, 220 p.$d24 cm.
225 | $aTexts and monographs in computer science
410  0$1001AQ10000364$12001 $aTexts and monographs in computer science
606   $aLinguaggi di programmazione$xSemantica$2FIR$3UFIC047092$9I
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14
676   $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v22
700  1$aDijkstra$b, Edsger Wybe$3AQ1V003914$4070$051862
701  1$aScholten$b, Carel S.$3RMSV018144$4070$0632276
790  1$aDijkstra$b, E. W.$3UFIV140496$zDijkstra, Edsger Wybe
801  3$aIT$bIT-000000$c20081006
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aRMS0030072
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 511.3                   DIJ.pr$e 0102 0000003975  VMA A4                    1 v.$fY $h19930905$i19930905
977   $a 01
996   $aPredicate calculus and program semantics$932589
997   $aUNISANNIO