Classical theory of first order logic - Rao A. Pampapathy (Simla Indian Institute of Advanced Study, 1970)