Book:George S. Boolos/Computability and Logic

Subject Matter

 * Mathematical Logic