01448nam 2200385 450 00001626020050718115600.00-521-35653-920030905d1986----km-y0itay0103----baengGBIntroduction to higher order categorical logicJ. Lambek, P.J. ScottCambridge [etc.]Cambridge University Press1986X, 293 p.24 cm.Cambridge studies in advanced mathematics72001Cambridge studies in advanced mathematicsCategoria (matematica)512.55(21. ed.)Algebre topologiche e algebre connesse, gruppi topologici e gruppi connessi03G30Algebraic logic. Categorical logic, topoiLambek,Joachim56983Scott,P. J.441983ITUniversità della Basilicata - B.I.A.RICAunimarc000016260Introduction to higher order categorical logic82419UNIBASMONSCISCIENZEEXT0020120030905BAS01132020050601BAS011755batch0120050718BAS01105320050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT66689S666892003090551Riservati