Introducing Symbolic Logic by Robert M. Martin