タブロー法による直接証明の発見

著者

• 中西, 泰雄 ナカニシ, ヤスオ

書誌事項

タブロー法による直接証明の発見

中西泰雄著

デザインエッグ, 2017.4

タイトル読み

タブローホウ ニヨル チョクセツ ショウメイ ノ ハッケン

注記

参考文献・索引あり

詳細情報

• NII書誌ID(NCID): BB24949254
• ISBN:
  • 9784865439755
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [東大阪]
• ページ数/冊数: 268p
• 大きさ: 21cm
• 分類:
  • NDC10 : 410.96
• 件名:
  • BSH : 記号論理学