A mathematical introduction to logic - Enderton, Herbert B. (New Delhi : Elsevier India, 2006)
Includes index
Keywords: LOGIC, SYMBOLIC AND MATHEMATICAL