TY  - BOOK
AU  - Rao,A.Pampapathy
TI  - Classical theory of first order logic
CY  - Shimla
ER  -