%A Erkan Tin
%A Varol Akman
%J SIGACT News
%T Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
%X This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
%N 1
%K propositional logic, predicate logic, tableau proofs, models, nonclassical logics, logic programming, Prolog, history of logic.
%P 20-22
%V 26
%D 1995
%L cogprints340