Book Volume 8 2008

Logic for Computer Scientists

Authors:

ISBN: 978-0-8176-4762-9 (Print) 978-0-8176-4763-6 (Online)

Table of contents (4 chapters)

  1. Front Matter

    Pages i-xiii

  2. No Access

    Chapter

    Pages 1-2

    Introduction

  3. No Access

    Chapter

    Pages 3-39

    Propositional Logic

  4. No Access

    Chapter

    Pages 41-107

    Predicate Logic

  5. No Access

    Chapter

    Pages 109-154

    Logic Programming

  6. Back Matter

    Pages 155-166