Welcome

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/