Semantical investigations in Heyting's intuitionistic logic | lit.salon