Daniel Leivant, Ruy de Queiroz Logic, Language, Information and Computation - 2007 ISBN: 978-3-540-73445-1 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityAlgorithmsMathematical Logic and Formal LanguagesMathematics of ComputingTheory of ComputationComputer Science