Logic and Language

"The main purpose of the book is to develop an understanding of the nature of symbolic logic, the skills of reasoning, and an ability to work with abstract formalism, as this in turn will improve skills of program design and development. It takes a step-by-step approach, with copious worked examples and exercises, and also includes a glossary of helpful terms. All solutions to the exercises are provided in an appendix at the end of the book." "Logic and Language provides students with a solid basis for more detailed study in formal methods, artificial intelligence, mathematical logic and logic programming."--Jacket.