Title: Symbolic Logic -- Third Edition