A Mathematical Introduction to Logic (2001)

by H B Enderton