Logic Book, 4th ed.