記号論理の手習い(第15回)完全性定理(3)

• 髙﨑 金久

書誌事項

タイトル別名

• キゴウ ロンリ ノ テナライ(ダイ15カイ)カンゼンセイ テイリ(3)

収録刊行物

• 数学セミナー

  数学セミナー 52 (12), 76-82, 2013-12

  東京 : 日本評論社

詳細情報

• CRID: 1523669554677002368
• NII論文ID: 40019862052
• NII書誌ID: AN10333470
• ISSN: 03864960
• NDL書誌ID: 024993755
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024993755
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM31(科学技術--数学)
• データソース種別:
  • NDL
  • CiNii Articles