@misc{cogprints340,
          volume = {26},
          number = {1},
           title = {Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications},
          author = {Erkan Tin and Varol Akman},
            year = {1995},
           pages = {20--22},
         journal = {SIGACT News},
        keywords = {propositional logic, predicate logic, tableau proofs, models, nonclassical logics, logic programming, Prolog, history of logic.},
             url = {http://cogprints.org/340/},
        abstract = {This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.}
}

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>