Reviews matching “Predicate calculus and program semantics”

1 result

BookAuthorReviewerJournalDate
Predicate calculus and program semantics Edsger W Dijkstra Egon Börger The Journal of Symbolic Logic 1994

Open this search with filters