TY  - BOOK
AU  -  Kelly, John
TI  -  Essence of logic
SN  - 3683
U1  -  005.131  KEL-E 
PB  -  Prentice - Hall of India, Pvt. ltd., New Delhi
KW  -  Symbolic logic; Automata, Formal languages applied to programming langu
ER  -