Language in Action, Volume 130: Categories, Lambdas and Dynamic Logic (Studies in Logic and the Foundations of Mathematics).rarHigh Speed Download
File size : 10.8 MB