Logic with Trees

This book is a new and original introduction to modern formal logic. It also contains discussions on more philosophical issues such as truth, conditionals and modal logic.