This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has …