Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2003

Logic and Language

Authors:

  1. Neville Dean
    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 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

Sections

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xiii
    PDF

  2. Language, Logic and Symbols

    • Neville Dean
    Pages 1-13

  3. Compound Propositions

    • Neville Dean
    Pages 15-35

  4. Propositional Forms

    • Neville Dean
    Pages 37-71

  5. Natural Deduction

    • Neville Dean
    Pages 73-116

  6. Conditional Connective

    • Neville Dean
    Pages 117-142

  7. Predicate Logic

    • Neville Dean
    Pages 143-173

  8. First Order Theories

    • Neville Dean
    Pages 175-198

  9. An Introduction to Logic Programming

    • Neville Dean
    Pages 199-216

  10. Back Matter

    Pages 217-298
    PDF
Back to top

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.
Back to top

Keywords

Back to top

About the author

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

Bibliographic Information

  • Book Title: Logic and Language

  • Authors: Neville Dean

  • DOI: https://doi.org/10.1007/978-0-230-00605-8

  • Publisher: Red Globe Press London

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2003

  • Edition Number: 1

  • Number of Pages: 320

  • Additional Information: Previously published under the imprint Palgrave

  • Topics: Arithmetic and Logic Structures

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Search

Navigation