A Mathematical Introduction to Logic, 2nd edition (Academic Press Elsevier, 2001)