A Mathematical Introduction to Logic, Second Edition (2000)

by Herbert B Enderton