TY  - BOOK
AU  - Manes, Ernest G.
TI  - PREDICATE TRANSFORMER SEMANTICS
SN  - 0521420369
U1  - 001.642 
PY  - 1992///
CY  - Cambridge
PB  - Cambridge Univ. Press
KW  - Logic Programming
KW  - Logic, Symbolic And Mathematical
N1  - Includes Bibliographical References And Index
ER  -