000 00435nam a2200157Ia 4500
008 150723s9999 xx 000 0 und d
020 _a3683
082 _a 005.131 KEL-E
100 _a Kelly, John
245 _a Essence of logic
260 _b Prentice - Hall of India, Pvt. ltd., New Delhi
260 _c2001
300 _a258
650 _a Symbolic logic; Automata, Formal languages applied to programming langu
942 _cBK
999 _c3446
_d3446