(1) An Introduction to Formal Logic

This book starts from scratch, and initially goes pretty slowly; I make no apology for working hard at the outset to nail down some basic ideas. The pace gradually picks up as we proceed and as the idea of a formal approach to logic becomes more and more familiar. But almost everything should remain quite accessible even to those who start off as symbol-phobic – especially if you make the effort to read slowly and carefully.