Book:Gaisi Takeuti/Proof Theory

Subject Matter

 * Logic