TEXT BOOK OF SYMBOLIC LOGIC - RAM NATH SHARMA (KHANNA PUBLISHERS, 2002)