从-微积分到高阶-微积分 电子书下载

原名:From -calculus to Higher-Order -calculus
作品简介:然而，对 演算编码的研究表明，高阶演算对于更抽象级别的推理非常有用。……