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.
nl
en
