A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Logic for computer science. Foundations of automatic theorem proving | Jean H. Gallier | Frank Pfenning | The Journal of Symbolic Logic | 1989 |