3 Review(s)

This book provides a concise introduction to formal logic. It prepares the reader for the analysis and application of logic techniques in computing. The text's practical approach develops the skills needed to apply logic in a wide range of computer science disciplines. Salient Features Worked examples and numerous exercises guide the reader through all of the import concepts. Difficult theories are explained clearly with a minimum of technical clutter. Historical sketches at various points to help the student appreciate logic as living human enterprise