http://cogprints.org/340/
Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications
This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
Tin, Erkan
Akman, Varol
Artificial Intelligence
Logic
Erkan
Tin
Varol
Akman