TY - DATA AU - Md. Aquil Khan AU - Amaldev Manuel TI - Logic and Its Applications SN - 9783662587713 KW - Computer Science KW - Formal Languages and Automata Theory UR - https://link.springer.com/openurl?genre=book&isbn=978-3-662-58771-3 ER -