This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...

An introduction to symbolic logic. Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include ...

They will also learn how to convey mathematical ideas and write proofs using precise language, correct logic, and other important elements.