An introduction to mathematical logic (1972)

by H Enderton