Semantical investigations in Heyting's intuitionistic logic
Dov M. Gabbay 1945-
Dordrecht, Holland Boston D. Reidel Pub. Co. Hingham, MA distributed in the U.S.A. and Canada by Kluwer Boston c1981
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(501 S993 v.148 )(Acessar)