An Introduction to Formal Logic

by Peter Smith