Title: The Logic Book, 4th ed