Kelemen, J., Dijkstra, E. W., & Scholten, C. S. Predicate calculus and program semantics.
Chicago Style (17th ed.) CitationKelemen, Jozef, E. W. Dijkstra, and C. S. Scholten. Predicate Calculus and Program Semantics.
MLA (9th ed.) CitationKelemen, Jozef, et al. Predicate Calculus and Program Semantics.
Warning: These citations may not always be 100% accurate.


