Title: An introductory text-book of logic