A comprehensive index of philosophy book reviews

Theory of program structures: schemes, semantics, verification

by Sheila A. Greibach · 1 review · 1978

Reviewed by Journal Date Access
Robert L. Constable The Journal of Symbolic Logic 1978 Restricted

Metaphysics & Logic

Search PhilReviews for this title