Title: Symbolic Logic 4e