Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions (Texts & Monographs in Symbolic Computation)
Click For Info
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Click For Info