TY  - BOOK
AU  - Roy, Suman.
AU  - Advised by Chandru, Vijay.
TI  - Soundness and completeness results in partially-interpreted logics
U1  - 511.3 
PY  - 1997///
CY  - Bangalore
PB  - Indian Institute of Science
KW  - Logic programming
KW  - Symbolic and mathematical logic
KW  - Formal languages
N1  - Includes bibliography; PhD;1997;Computer Science and Automation
ER  -