TY - BOOK AU - Rao,Pampapathy.A. TI - Classical theory of first order logic U1 - 160 PY - 1970/// CY - Simla PB - Indian Institute of Advanced Study KW - Logic ER -