The book is available here ...

Our textbook is available here:

http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/

The first Chapter is available here:

http://folk.uio.no/larsk/ch1.pdf