A course on mathematical logic - Srivastava, S. M. (Shashi Mohan) (2013)
Includes bibliographical references (page 193) and index.
Keywords: Logic, Symbolic and mathematical -- Textbooks