TY  - GEN
ID  - cogprints340
UR  - http://cogprints.org/340/
A1  - Tin, Erkan
A1  - Akman, Varol
Y1  - 1995///
N2  - This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
KW  - propositional logic
KW  -  predicate logic
KW  -  tableau proofs
KW  -  models
KW  -  nonclassical logics
KW  -  logic programming
KW  -  Prolog
KW  -  history of logic.
TI  - Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
SP  - 20
AV  - public
EP  - 22
ER  -

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