Enderton, Herbert B. A mathematical introduction to logic [by] Herbert B. Enderton. - New York, Academic Press 1972 - 295 pages illus. 24 cm.