A mathematical introduction to logic (1972)

by H Enderton