A short introduction to intuitionistic logic

Author(s)

• Mint︠s︡, Grigori

Bibliographic Information

A short introduction to intuitionistic logic

Grigori Mints

（The University series in mathematics）

Kluwer Academic / Plenum Publishers, c2000

Note

Includes bibliographical references (p. 125-127) and index

Details

• NCID: BA50149702
• ISBN:
  • 0306463946
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: ix, 131 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.47
  • DC21 : 511/.22
• Subject Headings:
  • LCSH : Intuitionistic mathematics
• Parent Bibliography ID:
  • BA00143919