Semantical investigations in Heyting's intuitionistic logic
By: Dov M. Gabbay.
Series: Synthese library ; v. 148
Publisher: D. Reidel Pub. Co.; distributed in the U.S.A. and Canada by Kluwer Boston
Published: 1981
Place of publication: Dordrecht, Holland; Boston; Hingham, MA
Language: eng
Number of pages: 287
Subjects: Heyting, A. 1898-; Intuitionistic mathematics.
Notes: Bibliography: p. 280-284.
Includes index.