Predicate calculus and program semantics

by Edsger W Dijkstra · 1 review · 1994

Metaphysics & Logic

Also by Dijkstra

• The Political Economy of Environmental Policy: A Public Choice Approach to Market Instruments (2 reviews)
• Inleiding taoïstische filosofie: Leven vanuit niet-doen (1 review)

Search PhilReviews for this title