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): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Proof Theory: Second Edition (Dover Books on Mathematics) by Gaisi Takeuti (2013-02-20) : Amazon.it: Libri,Technology for Success: Computer Concepts, 2nd Edition - 9780357883235 - Australia