Proof Theory,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Birkhäuser Advanced Texts Basler Lehrbücher Ser.: Measure Theory : Second Edition by Donald L. Cohn (2013, Hardcover) for sale online | eBay,Basic Concepts of String Theory (Theoretical and Mathematical Physics)