A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
2 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Basic simple type theory | J Roger Hindley | Hans-Joerg Tiede | Journal of Logic, Language and Information | 1999-10-01 |
| Basic simple type theory | J. Roger Hindley | Anton Setzer | The Journal of Symbolic Logic | 1999 |