LEADER 01007nam0 2200289   450 
001 000018873
005 20081105115056.0
010   $a0-387-96957-8
100   $a20081105d1990----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $ay-------001yy
200 1 $aPredicate calculus and program semantics$fEdsger W. Dijkstra, Carel S. Scholten
210   $aNew York$cSpringer$dc1990
215   $aX, 220 p.$d24 cm
225 2 $aTexts and monographs in computer science
410  0$12001$aTexts and monographs in computer science
500 10$aPredicate calculus and program semantics$932589
610 1 $aLogica matematica
676   $a511.3$v20$9Matematica. Principi generali. Logica matematica
700  1$aDijkstra,$bEdsger W.$051862
701  1$aScholten,$bCarel S.$0632276
801  0$aIT$bUNIPARTHENOPE$c20081105$gRICA$2UNIMARC
912   $a000018873
951   $aM 511.3/12$bM 1044$cDSA$d2008
996   $aPredicate calculus and program semantics$932589
997   $aUNIPARTHENOPE