Methods of Logic : Fourth Edition