Quick view Choose Options Brand: Elsevier Science Technology Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) MSRP: Was: Now: $247.96 - $280.38 Quick view Choose Options