Symbolic Logic 4e