Semantical investigations in Heyting's intuitionistic logic
Gabbay, Dov M.,1945-
Dordrecht London Reidel
c1981
Bibliography: p280-284. - Includes index
Intuitionistic mathematics.
Predicate calculus.
Semantics.