Ernest Schimmerling ; Basic Logic
Online textbook for Basic and Intermediate Logic
This online textbook was written by
Ernest Schimmerling,
who uses it when he teaches
Carnegie Mellon University
Mathematical Sciences Department
undergraduate courses 21-300 Basic Logic
and 21-400 Intermediate Logic.
Chapters 1-4 are for 21-300. Chapters 5 and 6 are for 21-400.
Syllabi, provided separately, contain course descriptions,
prerequisites, and mechanics.