Mathematical Logic - A course with exercises, Part I (PDF)(h33t)(malestom)