Table of Contents Volume I

File 
Preface to Volumes I and II: A Guide to the Primer

File 
Chapter 1, Basic Ideas and Tools

File 
Chapter 2, Transcription between English and Sentence Logic

File 
Chapter 3, Logical Equivalence, Logical Truths, and Contradictions

File 
Chapter 4, Validity and Conditionals

File 
Chapter 5, Natural Deduction for Sentence Logic: Fundamentals

File 
Chapter 6, Natural Deduction for Sentence Logic: Strategies

File 
Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises

File 
Chapter 8, Truth Tree for Sentence Logic: Fundamentals

File 
Chapter 9, Truth Trees for Sentence Logic: Applications

File 
Index for Volume 1

File 
Solutions Manual for Volume 1

File 
Table of Contents to Volume II

File 
Solutions Manual for Volume II

File 
Introduction to Predicate Logic Notes

File 
Chapter 1, Predicate Logic: Syntax

File 
Chapter 2, Predicate Logic: Semantics and Validity

File 
Chapter 3, More about Quantifiers

File 
Chapter 4, Transcription

File 
Chapter 5, Natural Deduction for Predicate Logic: Fundamentals

File 
Chapter 6, More on Natural Deduction for Predicate Logic

File 
Chapter 7, Truth Tress for Predicate Logic: Fundamentals

File 
Chapter 8, More on Truth Tress for Predicate Logic

File 
Chapter 9, Identity, Functions, and Definite Descriptions

File 
Chapter 10, Metatheory: The Basic Concepts

File 
Chapter 11, Mathematical Induction

File 
Chapter 12, Soundness and Completeness for Sentence Logic Trees

File 
Chapter 13, Soundness and Completeness for Sentence Logic Derivations

File 
Chapter 14, Koenig's Lemma, Compactness, and Generalization to Infinite Sets of Premises

File 
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic

File 
Index for Volume II

File 
Diagrammatic Summary of Rules

File 
Corrections to the Text

File 