Introduction to Mathematical Logic (1972)

by H B Enderton