Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books
Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Proof Theory: Second Edition (Dover Books on Mathematics),Measure Theory: Second Edition | SpringerLink,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Measure Theory - (birkhäuser Advanced Texts Basler Lehrbücher) 2nd Edition By Donald L Cohn (hardcover) : Target