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.