MATHEMATICAL LOGIC A FIRST COURSE - Robbin, Joel W. (W.A. Benjamin, Inc., 1969)