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）

Springer Science+Business Media, 2000

• : softcover

Note

Includes bibliographical references (p. 125-127)

Originally pblished by Kluwer Academic/Plenum Publishers, New York in 2000

Details

• NCID: BB14796758
• ISBN:
  • 9781475773194
• 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