00814nam0-22002771i-450-990001223080403321000122308FED01000122308(Aleph)000122308FED0100012230820000920d1981----km-y0itay50------baengSemantical Investigations in Heyting's Intuitionistic Logicby Gabbay Doy M.Dordrecht (NL)Reidelc198 1.x, 294 p.24 cmSynthese Library14511.2Gabbay,Dov M.<1945- >56838ITUNINARICAUNIMARCBK990001223080403321C-25-(1485572MA1MA1Semantical Investigations in Heyting's Intuitionistic Logic343266UNINAING01