Classical theory of first order logic - Pampapathy Rao, A; Author (1970)