Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press
Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,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,Book of Proof: Richard Hammack: 9780989472104: Amazon.com: Books,