An Introduction to Formal Logic

Peter Smith