A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Recursive equivalence types and combinatorial functions | John Myhill | J. C. E. Dekker | The Journal of Symbolic Logic | 1966-09-02 |