TY  - GEN
AU  - Karamat Hussain
TI  - Deductive logic
U1  - 162 22
PB  - Lahore
KW  - Logic
ER  -