01007nam0 2200289 450 00001887320081105115056.00-387-96957-820081105d1990----km-y0itay50------baengUSy-------001yyPredicate calculus and program semanticsEdsger W. Dijkstra, Carel S. ScholtenNew YorkSpringerc1990X, 220 p.24 cmTexts and monographs in computer science2001Texts and monographs in computer sciencePredicate calculus and program semantics32589Logica matematica511.320Matematica. Principi generali. Logica matematicaDijkstra,Edsger W.51862Scholten,Carel S.632276ITUNIPARTHENOPE20081105RICAUNIMARC000018873M 511.3/12M 1044DSA2008Predicate calculus and program semantics32589UNIPARTHENOPE