Normal view
MARC view
- Predicate calculus.
Predicate calculus. (Topical Term)
This authority is not used in any records.
Machine generated authority record.
Work cat.: (BD-SySUS)0: Dijkstra, Edsger Wybe. 24364, Predicate calculus and program semantics /, c1990.