A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Implementing Mathematics with the Nuprl Proof Development System | R L Constable | Michael J Beeson | The Journal of Symbolic Logic | 1990-09-01 |