Enderton, Herbert B. A mathematical introduction to logic - 2nd ed. - San Diego, Calif. : Harcourt Academic Press, 2001 - 317 p. ISBN: 0122384520 Subjects--Topical Terms: LOGIC, SYMBOLIC AND MATHEMATICAL LC Class. No.: QA9 / E523M 2001