A comprehensive index of philosophy book reviews
3 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Computability theory, semantics, and logic programming | Melvin Fitting | Martin Davis | Notre Dame Journal of Formal Logic | 1990-06-01 |
| Computability theory, semantics, and logic programming | Melvin Fitting | J. C. Shepherdson | The Journal of Symbolic Logic | 1988 |
| Computability theory, semantics, and logic programming | George J Tourlakis | Ann Yasuhara | The Journal of Symbolic Logic | 1988 |