We will meet on Tuesday. We will use this textbook:
- Leary & Kristiansen: A friendly introduction to mathematical logic.
You may buy the book from a number of online bookstores. You my even be able to buy a copy in the bookstore located at the university campus. You may also download the book for free:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/