TY - BOOK AU - Rao A Pampapathy TI - Classical theory of first order logic U1 - R1, L0 PY - 1970/// CY - Simla PB - Indiadn Institute Of Advanced Sudy ER -