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

著者

• Dragalin, Alʹbert Grigorʹevich

書誌事項

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

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

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

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

タイトル別名

Matematicheskii intuitsionizm ; vvedenie v teoriiu dokazatel'stv

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA8782127X
• 出版国コード: ru
• タイトル言語コード: rus
• 本文言語コード: rus
• 原本言語コード: eng
• 出版地: Москва
• ページ数/冊数: 256 p.
• 大きさ: 21 cm
• 親書誌ID:
  • BA20977603