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

Subject Matter

 * Mathematical Logic