TY  - BOOK
AU  - Pampapathy Rao,A.
TI  - Classical theory of first order logic
PY  - 1970///
CY  - Simla
PB  - Indian Institute of Advanced Study
KW  - Logic, Symbolic and mathematical
N1  - Bibliography:p.26-58
ER  -