Classical theory of first order logic. - Rao A Pampapathy (Simla Indiadn Institute Of Advanced Sudy, 1970)