Title: an introductory textbook of logic