A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
2 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Program Verification | Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin | Leslie Burkholder | Philosophy in Review | 1995-01-01 |
| Theory of program structures: schemes, semantics, verification | Sheila A. Greibach | Robert L. Constable | The Journal of Symbolic Logic | 1978 |