Title: Introductory Symbolic Logic
First published: June 1993