A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment …
