LEADER 00993nam--2200349---450-
001 990000349800203316
035   $a0034980
035   $aUSA010034980
035   $a(ALEPH)000034980USA01
035   $a0034980
100   $a20010306d1979----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFirst-Order dynamic logic
210   $aBerlin$cSpringer Verlag$d1979
215   $a131 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v68
410   $12001$aLecture notes in computer science$v68
461  1$1001-------$12001
676   $a511.3
700  1$aHAREL,$bDavid$0543182
801  0$aIT$bsalbc$gISBD
912   $a990000349800203316
951   $a001 LNCS 68$b7815$c001 LNCS$d00101424
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010306$lUSA01$h1537
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aFirst-Order dynamic logic$9878552
997   $aUNISA