Book

Mathematical Analysis of Logic

by George Tucker