Proof methods for modal and intuitionistic logics

Author(s)

• Fitting, Melvin Chris

Bibliographic Information

Proof methods for modal and intuitionistic logics

Melvin Fitting

（Synthese library, v. 169）

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

Note

Bibliography: p. 526-539

Includes index

Details

• NCID: BA0107471X
• ISBN:
  • 9027715734
• LCCN: 83004409
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht, Holland ; Boston, U.S.A.,Hingham, Mass.
• Pages/Volumes: viii, 555 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.54
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Proof theory
  • LCSH : Modality (Logic)
  • LCSH : Intuitionistic mathematics
• Parent Bibliography ID:
  • BA00017801