Book:Martin Davis/Computability and Unsolvability

Subject Matter

 * Logic
 * Mathematical Logic