TY  - BOOK
AU  - kaur,amandeep
TI  - Symbolic logic and logic programming
U1  - 005.1 Am13s 
CY  - New Delhi
PB  - Satya parkashan pub.
ER  -