A Mathematical Introduction To Logic door Herbert B. Enderton & Herbert Enderton