Introduction to Logic Design - Macrovitz, Alan B. (USA: Elsevier, 2009)
include index.
Keywords: Artificial Intelligence