Language, Proof, and Logic, Volume 2

Front Cover
CD-ROM contains an updated and enhanced version of Tarski's World, which teaches the basics of first-order logic; Fitch, a program which allows the creation and checking of natural deduction proofs; Boole, a program which facilitates the creation of truth tables; Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment; and the complete manuscript of the text in Adobe PDF format.

From inside the book

Contents

Introduction
1
Atomic Sentences
20
The Logic of Atomic Sentences
42
Copyright

22 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information