%0 Generic
%A Tin, Erkan
%A Akman, Varol
%D 1995
%F cogprints:340
%K propositional logic, predicate logic, tableau proofs, models, nonclassical logics, logic programming, Prolog, history of logic.
%N 1
%P 20-22
%T Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
%U http://cogprints.org/340/
%V 26
%X This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.