Математический интуиционизм ; введение в теорию доказательств

Author(s)

• Dragalin, Alʹbert Grigorʹevich

Bibliographic Information

Математический интуиционизм ; введение в теорию доказательств

А.Г. Драгалин

（Математическая логика и основания математики）

"Наука," Глав. ред. физико-математической лит-ры, 1979

Other Title

Matematicheskii intuitsionizm ; vvedenie v teoriiu dokazatel'stv

Note

Includes index

Details

• NCID: BA8782127X
• Country Code: ru
• Title Language Code: rus
• Text Language Code: rus
• Original Language Code: eng
• Place of Publication: Москва
• Pages/Volumes: 256 p.
• Size: 21 cm
• Parent Bibliography ID:
  • BA20977603