00801nam0-22002651i-450-990001227330403321000122733FED01000122733(Aleph)000122733FED0100012273320000920d1989----km-y0itay50------baengIntroduction to higher order categorial logicby LAMBEK J. SCOTT P. J.Cambridge [etc.]Cambridge University Press1989.Cambridge studies in advanced mathematics7Lambek,Joachim56983Scott,P.J.ITUNINARICAUNIMARCBK990001227330403321C-43-(76286MA1MA1Introduction to higher order categorial logic382002UNINAING01