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