Book review: Logic For Applications, Second Edition by Anil Nerode and Richard A. Shore (Springer Verlag 1997)
Alexander Dekhtyar · ACM SIGACT News · 1999
The book would not replace textbooks (such as Soare or Odifreddi) as graduate introduction t o computability theory .Only techniques and result related to bounded queries are really discusse d in this book .The book does not give the necessary background needed to do heavy duty research in computability theory.