Absoluteness of intuitionistic logic

Author(s)

• Leivant, Daniel Maurice Raphaël

Bibliographic Information

Absoluteness of intuitionistic logic

D. M. R. Leivant

（Mathematical Centre tracts, 73）

Mathematisch Centrum, 1979

Note

Includes bibliographical references and indexes

Details

• NCID: BA04014157
• ISBN:
  • 906196122X
• LCCN: 79321551
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: ix, 137 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.47
  • DC : 511/.2
• Subject Headings:
  • LCSH : Intuitionistic mathematics
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA0072600X