Introduction to Logic, Third Edition