A link to Paul Teller's website, where he offers for download his two-volume introduction to formal logic, which is out of print.
