Sale Quick view Add to Cart Type Theory And Formal Proof: An Introduction £62.99 £61.53 Cambridge University Press
Quick view Add to Cart An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs £25.14 Oxford University Press