Symbolic Logic: An Introduction
by Richmond H. Thomason

This book was published in 1970 and is now out of print.

The LaTeX-formatted online version available here duplicates the original version almost exactly.

The book is available at no cost for noncommercial use, but is not to be distributed except from this site.

The PostScript and PDF versions are password protected, to get the password, send email to rthomaso@umich.edu.

Note: There is a new (Fall, 2003) introduction to symbolic logic that stresses the relation of logic to algorithms and artificial languages. It is available by request: send email to rthomaso@umich.edu  

  Version 1 Release of Symbolic Logic: An Introduction  PDF Version.
  Version 1 Release of Symbolic Logic: An Introduction  PostScript Version.