Enderton, Herbert B. , A mathematical introduction to logic / Herbert B. Enderton. - 2nd ed. - xii, 317 pages : illustrations ; 24 cm. ISBN: 0122384520 Subjects--Topical Terms: Logic, Symbolic and mathematical. LC Class. No.: QA9 / .E53 2001