A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Proofs and types | Jean-Yves Girard, Paul Taylor, and Yves LaFont | W. A. Howard | The Journal of Symbolic Logic | 1991 |