Kelly, John Essence of logic - Prentice - Hall of India, Pvt. ltd., New Delhi 2001 - 258 ISBN: 3683 Subjects--Topical Terms: Symbolic logic; Automata, Formal languages applied to programming langu Dewey Class. No.: 005.131 KEL-E