A comprehensive index of philosophy book reviews
Home
› Search
Reviews matching “Predicate calculus and program semantics”
1 result
Search reviews
Search
Book
Author
Reviewer
Journal
Date
Predicate calculus and program semantics
Edsger W Dijkstra
Egon Börger
The Journal of Symbolic Logic
1994
Open this search with filters