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