Reviews matching “Logic for applications”

5 results

BookAuthorReviewerJournalDate
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intentional Logic Marie Duzí Adam Olszewski Logic and Logical Philosophy 2017-09-01
Logic for applications Anil Nerode and Richard A. Shore Fahiem Bacchus The Journal of Symbolic Logic 1999
Advanced logic for applications Richard E. Grandy Neil Tennant The Journal of Symbolic Logic 1982
Advanced logic for applications Richard E Grandy F W Kroon Linguistics and Philosophy 1980-01-01
Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics William Hanf The Journal of Symbolic Logic 1971

Open this search with filters