01186nam a2200301 i 4500991003272389707536m d cr cn|||||||||080129s1999 ne a sb 001 0 eng d97804445017070444501703b13658736-39ule_instDip.to Matematicaeng511.322Jacobs, Bart627631Categorical logic and type theory[e-book] /Bart JacobsAmsterdam ;New York :Elsevier Science,c1999xviii, 760 p. :ill. ;23 cmStudies in logic and the foundations of mathematics ;141Includes bibliographical references (p. 717-733) and indexesType theoryCategories (Mathematics)ScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=141An electronic book accessible through the World Wide Web; click for information.b1365873603-03-2229-01-08991003272389707536Categorical logic and type theory1213842UNISALENTOle01329-01-08m@ -engne 00