Logic and Language

  • Authors
  • Neville┬áDean

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Neville Dean
    Pages 1-13
  3. Neville Dean
    Pages 15-35
  4. Neville Dean
    Pages 37-71
  5. Neville Dean
    Pages 73-116
  6. Neville Dean
    Pages 117-142
  7. Neville Dean
    Pages 143-173
  8. Neville Dean
    Pages 175-198
  9. Neville Dean
    Pages 199-216
  10. Back Matter
    Pages 217-298

About this book


An understanding of the theory and application of logic is fundamental both to successful software and hardware development, and to gain a thorough grasp of modern computing. This book provides a gentle introduction to the subject at a comfortable pace that is suitable for a wide range of students including: undergraduates in computer science, maths, philosophy, and those on MSc conversion courses. It is particularly ideal for students with weak backgrounds in maths.


artificial intelligence computer science conversion formal logic formal method intelligence logic logic programming mathematical logic Notation philosophy programming

Bibliographic information