A Mathematical Introduction to Logic (1972)

by Herbert B Enderton