Logic for Computer Scientists

Category:Books to be merged#Logic%20for%20Computer%20Scientists

Table of Contents

  1. Preface
  2. Introduction
  3. Induction
  4. Propositional Logic
  5. Predicate Logic
  6. Modal Logic

Authors

Category:Subject:Mathematical logic/all books Category:Subject:Pure mathematics/all books Category:Subject:Mathematics/all books Category:Subject:Books by subject/all books Category:Subject:Computer science/all books Category:Subject:Computing/all books Category:Subject:Books by subject/all books Category:Book:Logic for Computer Scientists#%20 Category:Book:Wikibooks Stacks/Books#Logic%20for%20Computer%20ScientistsCategory:Shelf:Mathematical logic Category:Shelf:Mathematical logic/all books Category:Shelf:Computer science/all books#Computer%20science Category:Department:Computing/all books#Computing Category:Department:Mathematics/all books#Mathematics Category:Shelf:Pure mathematics/all books#Pure%20mathematics Category:Books nearing completionCategory:Books by completion status/all books
Category:Alphabetical/L Category:Book:Logic for Computer Scientists Category:Book:Wikibooks Stacks/Books Category:Books by completion status/all books Category:Books nearing completion Category:Books to be merged Category:Department:Computing/all books Category:Department:Mathematics/all books Category:Shelf:Computer science/all books Category:Shelf:Mathematical logic Category:Shelf:Mathematical logic/all books Category:Shelf:Pure mathematics/all books Category:Subject:Books by subject/all books Category:Subject:Computer science/all books Category:Subject:Computing/all books Category:Subject:Mathematical logic Category:Subject:Mathematical logic/all books Category:Subject:Mathematics/all books Category:Subject:Pure mathematics/all books