Book

Mathematical Introduction to Logic

by Herbert Enderton