Book:George S. Boolos/Computability and Logic/Fourth Edition

Subject Matter

 * Mathematical Logic