Semantical investigations in heyting's instuitionistic logic. - Gobbay Don V (London D Reidel Publishing, 1981)