証明論の思い出

• 八杉 満利子

  京都産業大学理学部

書誌事項

タイトル別名

• ショウメイロン ノ オモイデ ム ムジュンセイ ショウメイ オ チュウシン ニ
• 無矛盾性証明を中心に

収録刊行物

• 数学

  数学 49 (3), 292-296, 1997

  一般社団法人 日本数学会

詳細情報

• CRID: 1390282680042816384
• NII論文ID: 10002852761
• NII書誌ID: AN00125036
• DOI: 10.11429/sugaku1947.49.292
• ISSN: 18836127
• ISSN: 0039470X
• MRID: 1613391
• NDL書誌ID: 4265950
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4265950
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles