A Mathematical Introduction to Logic, 2nd edn (2001)

by H Enderton