Book:Gaisi Takeuti/Proof Theory/Second Edition

Subject Matter

 * Logic