Semantical investigations in Heyting's intuitionistic logic

Author(s)

• Gabbay, Dov M.

Bibliographic Information

Semantical investigations in Heyting's intuitionistic logic

Dov M. Gabbay

（Synthese library, v. 148）

D. Reidel , distributed in the U.S.A. and Canada by Kluwer Boston, c2010

Note

Bibliography: p. 280-284

Includes index

Details

• NCID: BB13288354
• ISBN:
  • 9789048183623
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht, Holland ; Boston,Hingham, MA
• Pages/Volumes: x, 287 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.47
  • DC19 : 511/.2
• Subject Headings:
  • LCSH : Intuitionistic mathematics
  • LCSH : Heyting, A. (Arend), 1898-
• Parent Bibliography ID:
  • BA00017801