Mathematical intuitionism : introduction to proof theory

Author(s)

• Dragalin, Alʹbert Grigorʹevich

Bibliographic Information

Mathematical intuitionism : introduction to proof theory

A.G. Dragalin

（Translations of mathematical monographs, v. 67）

American Mathematical Society, c1988

Other Title

Matematicheskiĭ intuit︠s︡ionizm

Математический интуиционизм

Note

Translation of: Математический интуиционизм

Bibliography: p. 201-216

Includes indexes

Details

• NCID: BA03543673
• ISBN:
  • 0821845209
• LCCN: 87032766
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: rus
• Place of Publication: Providence, R.I.
• Pages/Volumes: ix, 228 p.
• Size: 24 cm
• Classification:
  • LCC : QA9
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00080309