記号論理の手習い(第7回)命題論理の自然演繹(1)
書誌事項
- タイトル別名
-
- キゴウ ロンリ ノ テナライ(ダイ7カイ)メイダイ ロンリ ノ シゼンエンエキ(1)
この論文をさがす
収録刊行物
-
- 数学セミナー
-
数学セミナー 52 (4), 67-73, 2013-04
東京 : 日本評論社
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1523669555432419584
-
- NII論文ID
- 40019610367
-
- NII書誌ID
- AN10333470
-
- ISSN
- 03864960
-
- NDL書誌ID
- 024341409
-
- 本文言語コード
- ja
-
- NDL 雑誌分類
-
- ZM31(科学技術--数学)
-
- データソース種別
-
- NDL
- CiNii Articles