Kelly J. The Essence of Logic 1997

Textbook in PDF format

The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It can also be used for the study of mathematical logic in its own right. Extensive in its coverage, each new concept is gently introduced, and then reinforced by numerous exercises and examples. This practical approach quickly develops skills needed to apply logic in a wide range of computer science disciplines