Elements of Deductive Logic
by Antony Eagle
Publisher: University of Adelaide 2008
Number of pages: 178
This is a textbook covering the basics of formal logic and elementary metatheory. Its distinguishing feature is that it has more emphasis on metatheory than comparable introductory textbooks. It was originally written to accompany lectures in an introductory to intermediate logic course at the University of Oxford, but it is designed to be used independently.
Download or read it online for free here: