Book:George S. Boolos/Computability and Logic

Subject Matter

 * Mathematical Logic

Source work progress
* : Not properly started yet. Edition to be resolved.