LEADER 01048nam0-22003731i-450-
001 990001485560403321
005 20090716122438.0
010   $a0-262-08289-6
035   $a000148556
035   $aFED01000148556
035   $a(Aleph)000148556FED01
035   $a000148556
100   $a20010731d2000----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $aDynamic logic$fDavid Harel, Dexter Kozen, Jerzy Tiuryn
210   $aCambridge (Mass.)$cThe Mit press$dc2000
215   $axv, 459 p.$d23 cm
225 1 $aFundations of computing
610 0 $aMatematica degli elaboratori
610 0 $aMetodi formali
610 0 $aLogica per il computer
676   $a004.015
700  1$aHarel,$bDavid$f<1950- >$047551
701  1$aKozen,$bDexter$f<1951- >$065955
701  1$aTiuryn,$bJerzy$065956
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001485560403321
952   $a004.015-HAR-1$b1025$fSC1
959   $aSC1
996   $aDynamic logic$9378213
997   $aUNINA

LEADER 01072nam a2200277 i 4500
001 991001824519707536
005 20020503154002.0
008 010321s1985    it            ||| | fre  
020   $a8822233808
035   $ab10278096-39ule_inst
035   $aEXGIL92095$9ExL
040   $aBiblioteca Interfacoltà$bita
041 0 $afrelat
100 1 $aEgidio : Romano$d<1316m.>$0465537
245 10$aApologia /$cédition et commentaire par Robert Wielockx
260   $aFirenze :$bL. S. Olschki,$c1985
300   $axv, 291 p. ;$c26 cm.
490 0 $aAegidii Romani Opera omnia. 3. [Opera Theologica] ;$v1
490 0 $aCorpus philosophorum Medii Aevi. Testi e studi ;$v11
700 1 $aWielockx, Robert$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0168550
907   $a.b10278096$b17-02-17$c27-06-02
912   $a991001824519707536
945   $aLE002 BIBL. VIII A 4/ 1$g1$i2002000012821/P92$lle002$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i10330318$z27-06-02
996   $aApologia$91445445
997   $aUNISALENTO
998   $ale002$b01-01-01$cm$da  $e-$ffre$git $h0$i1