Classical theory of first order logic - Pampapathy Rao, A. , 1936- (Simla : Indian Institute of Advanced Study, 1970)
Bibliography:p.26-58
Keywords: Logic, Symbolic and mathematical