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),Amazon.com: Language, Proof and Logic, 2nd Edition: 9781575866321: Barker-Plummer, David, Barwise, Jon, Etchemendy, John: Books,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