Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and computer science. The book assumes as background some mathematical sophistication.