© 2003

Logic and Language

  • Authors
  • Provides an introduction to formal logics without the deep mathematical theory
    Provides an overview of the nature of formal logics
    Gives a solid basis for further more detailed study, if required, in formal methods, artificial intelligence, mathematical logic, and logic programming
    Compares different systems of logic, and demonstrates how logic can be applied

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

About the authors

NEVILLE DEAN is a Senior Lecturer in Mathematics at Anglia Polytechnic University.

Bibliographic information

  • Book Title Logic and Language
  • Authors Neville Dean
  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2003
  • Publisher Name Palgrave, London
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-0-333-91977-4
  • eBook ISBN 978-0-230-00605-8
  • Edition Number 1
  • Number of Pages , 320
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Previously published under the imprint Palgrave
  • Topics Arithmetic and Logic Structures
  • Buy this book on publisher's site