Book

A course in mathematical logic

by John L. Bell