The textbook for the course will be:
Bergmann, Moor & Nelson, The Logic Book, McGraw-Hill, 5th edition, 2008
We will be following The Logic Book very closely, and you'll need to obtain a copy. It's the only book that you'll need for the course. We will cover Chapters 1-3 & 5. The same bok will be used for Introduction to Logic 2 in the Spring.
The Logic Book is available from the campus branch of Waterstones.
We will also be using a computer program called Bertie3, written for the natural deduction system of The Logic Book. Details on this to follow. In the meantime, if you want to take a look, you can download it free of charge from http://www.ucc.uconn.edu/~wwwphil/software.html.
There are many other books covering this material. The best of the rest include:
S. Guttenplan, The Languages of Logic, Blackwell, 2 nd edition, 1997, especially valuable for its informal presentation of semantics.
R. L. Simpson, Essentials of Symbolic Logic, Broadview Press, 1998, particularly good on proof strategies in natural deduction.
You may want to look at these, although the superficial technical differences between their respective approaches might be very confusing. For that reason my advice for now would be to stick to The Logic Book.
More advanced topics are covered in Chapters 6 & 11 of The Logic Book. Other accessible books for more advanced material include:
H. Enderton, A Mathematical Introduction to Logic, Academic Press, San Diego
G. Boolos and R. Jeffrey, Computability and Logic, 3rd ed., Cambridge University Press, Cambridge, 1989.
J. Zalabardo, Introduction to the Theory of Logic, Westview Press, 2000.
H. Enderton, Elements of Set Theory, Academic Press, Boston, 1977.
P. Halmos, Naive Set Theory, van Nostrand, Princeton, 1960.
In addition to the lectures, you need to attend a back-up class. Make sure that you know when and where yours meets.
Course web page: http://www.ucl.ac.uk/~uctyjlz/IntroLogic 1.htm
ASSESSMENT: The course will be assessed by homework assignments (40%) and an end-of-term in-class test (60%).