TY - BOOK AU - Rao,A.Pampapathy TI - Classical theory of first order logic U1 - 511.3 PY - 1970/// CY - Simla PB - Indian Institute of Advanced Study KW - Mathematics KW - Philosophy KW - Logic, symbolic and mathematical N1 - Includes index; Bibliography: p.56 ER -