Title: Textbook of logic