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

Subject Matter

 * Mathematical Logic