A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| The unit preference strategy in theorem proving | Lawrence Wos, Daniel Carson, and George Robinson | David Luckham | The Journal of Symbolic Logic | 1967 |