Logic with Trees

This introduction to modern formal logic also contains discussions on more philosophical issues, such as truth, conditionals and modal logic. Worked examples and exercises enable readers to check their progress.