00389nam a2200133Ia 4500008004100000020000900041082002000050100001700070245002200087260005200109260000900161300000800170650007700178150723s9999    xx            000 0 und d  a3683  a 005.131  KEL-E  a Kelly, John  a Essence of logic  b Prentice - Hall of India, Pvt. ltd., New Delhi  c2001  a258  a Symbolic logic; Automata, Formal languages applied to programming langu