Logic for Computer Scientists
From Wikibooks, open books for an open world
Jump to navigation
Jump to search
Table of Contents
Preface
Introduction
Induction
Propositional Logic
Predicate Logic
Modal Logic
Authors
Uli Furbach
Categories
:
Book:Logic for Computer Scientists
Shelf:Mathematical logic
Hidden categories:
Alphabetical/L
Subject:Mathematical logic
Subject:Mathematical logic/all books
Subject:Pure mathematics/all books
Subject:Mathematics/all books
Subject:Books by subject/all books
Subject:Computer science/all books
Subject:Computing/all books
Book:Wikibooks Stacks/Books
Shelf:Mathematical logic/all books
Shelf:Computer science/all books
Department:Computing/all books
Department:Mathematics/all books
Shelf:Pure mathematics/all books
Books nearing completion
Books by completion status/all books
Navigation menu
Personal tools
Not logged in
Discussion for this IP address
Contributions
Create account
Log in
Namespaces
Book
Discussion
Variants
Views
Read
Edit
View history
More
Search
Navigation
Main Page
Help
Browse
Cookbook
Wikijunior
Featured books
Recent changes
Donations
Random book
Using Wikibooks
Community
Reading room
Community portal
Bulletin Board
Help out!
Policies and guidelines
Contact us
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Sister projects
Wikipedia
Wikiversity
Wiktionary
Wikiquote
Wikisource
Wikinews
Wikivoyage
Commons
Wikidata
MediaWiki
Meta-Wiki
Print/export
Create a collection
Download as PDF
Printable version
In other languages
Add links