A Mathematical Introduction to Logic 2nd edn (2001)

by H Enderton