A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
6 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook | Bruce M. Kapron | Pavel Pudlák | The Bulletin of Symbolic Logic | 2023-12-00 |
| PX. A computational logic | Susumu Hayashi and Hiroshi Nakano | Robert Harper | The Journal of Symbolic Logic | 1991 |
| A computational logic | Robert S Boyer | Dale Miller | The Journal of Symbolic Logic | 1990 |
| Computational limitations of small-depth circuits | Johan Håstad | Stuart A. Kurtz | The Journal of Symbolic Logic | 1988 |
| Computational limitations of small-depth circuits | Johan Håstad | Stuart A. Kurtz | The Journal of Symbolic Logic | 1988 |
| Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress | Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics | Stephen A. Cook | The Journal of Symbolic Logic | 1970 |