Logic-Based Knowledge Representation
by Paul B. Jackson
MIT Press, Cambridge:MA, 1989.
Sorry, there are no downloadable files available for this document at this time.