R. Ramanujam, Sundar Sarukkai Logic and Its Applications - 2009 ISBN: 978-3-540-92701-3 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityMathematical Logic and Formal LanguagesProgramming TechniquesTheory of Computation Programming Languages, Compilers, InterpretersComputer Science