Book

Classical First-Order Logic

by Stewart Shapiro, Teresa Kouri Kissel