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