A mathematical introduction to logic: Second edition (2011)

by H B Enderton