TY  - BOOK
AU  - Asirvatham,A
TI  - Concise intermediate Logic part II induction
PY  - 1954///
ER  -