A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Introduction to combinators and λ-calculus | J. Roger Hindley and Jonathan P. Seldin | J. L. Krivine | The Journal of Symbolic Logic | 1988 |