Mathematical Logic: A First Course
$13